Scroll to Top

Volume : XIII, Issue : VI, July - 2023

AN ANALYSIS OF TYPES IN HEYTING ALGEBRAS AND THEIR RELATIONSHIP WITH REDUCIBILITY

Soumya D/o Revanasiddappa, Dr. M. K. Gupta

By : Laxmi Book Publication

Abstract :

This study investigates the structural properties of types within Heyting algebras, focusing on their classification and interrelations through the lens of reducibility concepts.

Keywords :


Article :


Cite This Article :

Soumya D/o Revanasiddappa, Dr. M. K. Gupta(2023). AN ANALYSIS OF TYPES IN HEYTING ALGEBRAS AND THEIR RELATIONSHIP WITH REDUCIBILITY. Indian Streams Research Journal, Vol. XIII, Issue. VI, http://isrj.org/UploadedData/11415.pdf

References :

  1. Bezhanishvili, G., Ghilardi, S., & Jibladze, M. (2018). Heyting Algebras and Intuitionistic Logic.
  2. Coquand, T., & Huet, G. (1988). The Calculus of Constructions. Information and Computation
  3. de Jongh, D. (1981). Reducibility and Proof Theory. Journal of Symbolic Logic,

Article Post Production

    No data exists for the row/column.
Creative Commons License
Indian Streams Research Journal by Laxmi Book Publication is licensed under a Creative Commons Attribution 4.0 International License.
Based on a work at http://oldisrj.lbp.world/Default.aspx.
Permissions beyond the scope of this license may be available at http://oldisrj.lbp.world/Default.aspx
Copyright � 2014 Indian Streams Research Journal. All rights reserved
Looking for information? Browse our FAQs, tour our sitemap, or contact ISRJ
Read our Privacy Policy Statement and Plagairism Policy. Use of this site signifies your agreement to the Terms of Use