On Heyting Algebra

Authors

  • 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

Keywords:

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

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.

Downloads

Download data is not yet available.

References

Crawley, P. and Dilworth, R. P., Algebraic Theory of Lattices (1973) Prentice-Hall, New Jersey

Birkhoff, G., Lattice Theory (1984) AMS Publication, Providence

Geirz, G.; Hoffman, K. H. and Keinel, K., Continuous Lattices and Domain (2003) Cambridge University Press, Cambridge

Cataresec, P. G., Journal of Philosophical Logic, 34(4) (2007) 363

Jha, J. S. and Parhi, K., Aryabhat Research Journal of Physical Science, 6 (2003) 39

Downloads

Published

2020-05-31

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(5), 01–05. https://doi.org/10.53555/ms.v6i5.1314

Issue

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

Section

Articles