Kripke models for intuitionistic propositional logic

Authors

  • R. Shabana
  • R. A. Elageili

DOI:

https://doi.org/10.37376/ljst.v7i2.2243

Keywords:

Intuitionistic logic, Kripke models, Heyting algebras.

Abstract

In this paper, we introduce Kripke models for intuitionistic propositional logic showing how these
models enable us to understand the intuitionistic point of view to mathematical objects. In addition, we discuss their basic properties and give some applications of them reflecting their importance for intuitionistic propositional logic

Downloads

Download data is not yet available.

Downloads

Published

2022-09-18

How to Cite

Shabana, R., & A. Elageili, R. (2022). Kripke models for intuitionistic propositional logic. Libyan Journal of Science &Amp;Technology, 7(2). https://doi.org/10.37376/ljst.v7i2.2243

Issue

Vol. 7 No. 2 (2018)

Section

Articles

License

Copyright (c) 2022 Libyan Journal of Science &Technology

Creative Commons License

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