Sezgisel önermeler lojiği için semantikler

Süleyman Polat, Mehmet Teziler

Öz


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. 


Tam Metin:

PDF

Referanslar


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., Neighborhhod Semantics for Basic and Intuitionistic 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).


Refback'ler

  • Şu halde refbacks yoktur.


Telif Hakkı (c) 2018 Mehmet TERZILER

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