Sezgisel önermeler lojiği için semantikler

Abstract

Bu çalışmada Sezgisel Önermeler Lojiği (IPL) için üç semantik sunuyoruz; yani Kripke semantiği, Heyting semantiği ve topolojik semantik.  IPL’nin bu semantiklere göre sağlam ve tam olduğunu gösteriyoruz. 

Keywords

• Sezgisel lojik,Kripke semantiği,modal lojik,Heyting cebirleri,topolojik semantik

Semantics for intuitionistic propositional logic

Abstract

In this study we present three semantics for Intuitionistic Propositional Logic (IPL); namely, Kripke semantics, Heyting semantics, and topological semantics. We show that IPL is sound and complete with respect to these semantics.

Keywords

• Intuitionistic logic,Kripke semantics,modal logic,Heyting algebras,topologic semantics

References

1. Bezhanishvili, N. ve de Jong, D., Intuitionistic Logic, ILLC, Universiteit van Amsterdam, (2010).
2. Brown, C. E., Semantics of intuitionistic propositional logic, Heyting algebras and Kripke models, (2014).
3. Kato, T., Boolean algebra and Propositional Logic, June 23, (2015).
4. Kojima, K., Relational and neighborhood semantics for intuitionistic modal logic, Reports on Mathematical Modal Logic, 47, 87-113, (2012).
5. Kuznetsov, S., Lecture Notes on Logic, University of Pennsylvania, (2017).
6. McKinsey, J.C.C. ve Tarski, A., The algebra of topology, Annals of Mathematics, 141-191, (1944).
7. Moniri, M. ve Maleki, F.S, Neighborhood semantics for basic and ıntuitionistic logic, Logic and Logical Philosophy, 24, 334-355, (2015).
8. Palmgren, E., Semantics of Intuitionistic Propositional Logic, Lecture Notes for Applied Logic, Dept. of Math. Uppsala University, (2009).

9. Troelstra, A.S. ve van Dalen, D., Constructivism in Mathematics: An Introduction, Volume 2, North-Holland, (1988).
10. Van Dalen, D., Logic and Structure, Springer, (2012).
11. Witczak, T., Intuitionistic modal logic based on neighborhood semantics without superset axiom, arXiv:1707.03859v2[math L0], (2017).