International Journal For Research In Mathematics And Statistics

Vol. 6 No. 3 (2020): International Journal For Research In Mathematics And Statistics (ISSN: 2208-2662)
Articles

On Heyting Algebra

Full Text PDF
  • Swapan Kumar Chakrabarti,
  • R. N. Yadav,
  • S. R. Pathak
Swapan Kumar Chakrabarti
Department of Physics, MMAM Campus, BiratnagarTribhuvan University, Nepal
R. N. Yadav
Department of Mathematics, MMAM Campus, Biratnagar Tribhuvan University, Nepal
S. R. Pathak
Department of Mathematics, AS Campus, Kathmandu Tribhuvan University, Nepal
DOI: https://doi.org/10.53555/ms.v6i5.1314

Published 2020-05-31

Keywords

  • Boolean algebra,
  • Galois connection,
  • Poset,
  • De Morgan’s laws,
  • Pointless topology

How to Cite

Chakrabarti, S. K., Yadav, R. N., & Pathak, S. R. (2020). On Heyting Algebra. International Journal For Research In Mathematics And Statistics, 6(3), 01–05. https://doi.org/10.53555/ms.v6i5.1314

Copyright (c) 2020 International Journal For Research In Mathematics And Statistics (ISSN: 2208-2662)

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Abstract

In mathematics Heyting algebras are special partially ordered sets that constitute a generalisation of Boolean algebra. It is named after Arend Heyting. Heyting algebra arises as models of intuitionistic logic, a logic in which the law of excluded middle does not in general hold. Thus complete Heyting algebra is a central object of study in pointless topology.

Full Text PDF

Downloads

Download data is not yet available.

References

  1. Crawley, P. and Dilworth, R. P., Algebraic Theory of Lattices (1973) Prentice-Hall, New Jersey
  2. Birkhoff, G., Lattice Theory (1984) AMS Publication, Providence
  3. Geirz, G.; Hoffman, K. H. and Keinel, K., Continuous Lattices and Domain (2003) Cambridge University Press, Cambridge
  4. Cataresec, P. G., Journal of Philosophical Logic, 34(4) (2007) 363
  5. Jha, J. S. and Parhi, K., Aryabhat Research Journal of Physical Science, 6 (2003) 39