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

License

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.

In consideration of the journal, Green Publication taking action in reviewing and editing our manuscript, the authors undersigned hereby transfer, assign, or otherwise convey all copyright ownership to the Editorial Office of the Green Publication in the event that such work is published in the journal. Such conveyance covers any product that may derive from the published journal, whether print or electronic. Green Publication shall have the right to register copyright to the Article in its name as claimant, whether separately
or as part of the journal issue or other medium in which the Article is included.

By signing this Agreement, the author(s), and in the case of a Work Made For Hire, the employer, jointly and severally represent and warrant that the Article is original with the author(s) and does not infringe any copyright or violate any other right of any third parties, and that the Article has not been published elsewhere, and is not being considered for publication elsewhere in any form, except as provided herein. Each author’s signature should appear below. The signing author(s) (and, in