Sezgisel önermeler lojiği için semantikler

ISSN: 1301-7985
Yayın Aralığı: Yılda 2 Sayı
Başlangıç: 1999
Yayıncı: Balıkesir Üniversitesi

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.

Semantics for intuitionistic propositional logic

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,

PDF

___

Bezhanishvili, N. ve de Jong, D., Intuitionistic Logic, ILLC, Universiteit van Amsterdam, (2010).
Brown, C. E., Semantics of intuitionistic propositional logic, Heyting algebras and Kripke models, (2014).
Kato, T., Boolean algebra and Propositional Logic, June 23, (2015).
Kojima, K., Relational and neighborhood semantics for intuitionistic modal logic, Reports on Mathematical Modal Logic, 47, 87-113, (2012).
Kuznetsov, S., Lecture Notes on Logic, University of Pennsylvania, (2017).
McKinsey, J.C.C. ve Tarski, A., The algebra of topology, Annals of Mathematics, 141-191, (1944).
Moniri, M. ve Maleki, F.S, Neighborhood semantics for basic and ıntuitionistic logic, Logic and Logical Philosophy, 24, 334-355, (2015).
Palmgren, E., Semantics of Intuitionistic Propositional Logic, Lecture Notes for Applied Logic, Dept. of Math. Uppsala University, (2009).
Troelstra, A.S. ve van Dalen, D., Constructivism in Mathematics: An Introduction, Volume 2, North-Holland, (1988).
Van Dalen, D., Logic and Structure, Springer, (2012).
Witczak, T., Intuitionistic modal logic based on neighborhood semantics without superset axiom, arXiv:1707.03859v2[math L0], (2017).