Research Article
BibTex RIS Cite

Sezgisel önermeler lojiği için semantikler

Year 2018, Volume: 20 Issue: 2, 425 - 436, 01.12.2018

Süleyman Polat Mehmet Terziler

https://doi.org/10.25092/baunfbed.485549
https://izlik.org/JA45ZL75JJ

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

References

  • 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).

Semantics for intuitionistic propositional logic

Year 2018, Volume: 20 Issue: 2, 425 - 436, 01.12.2018

Süleyman Polat Mehmet Terziler

https://doi.org/10.25092/baunfbed.485549
https://izlik.org/JA45ZL75JJ

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

  • 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).
There are 11 citations in total.

Details

Primary Language Turkish
Subjects Engineering
Journal Section Research Article
Authors

Süleyman Polat This is me 0000-0002-5418-1412

Mehmet Terziler 0000-0002-0837-474X

Submission Date April 3, 2018
Publication Date December 1, 2018
DOI https://doi.org/10.25092/baunfbed.485549
IZ https://izlik.org/JA45ZL75JJ
Published in Issue Year 2018 Volume: 20 Issue: 2

Cite

APA Polat, S., & Terziler, M. (2018). Sezgisel önermeler lojiği için semantikler. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi, 20(2), 425-436. https://doi.org/10.25092/baunfbed.485549
AMA 1.Polat S, Terziler M. Sezgisel önermeler lojiği için semantikler. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi. 2018;20(2):425-436. doi:10.25092/baunfbed.485549
Chicago Polat, Süleyman, and Mehmet Terziler. 2018. “Sezgisel önermeler Lojiği Için Semantikler”. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi 20 (2): 425-36. https://doi.org/10.25092/baunfbed.485549.
EndNote Polat S, Terziler M (December 1, 2018) Sezgisel önermeler lojiği için semantikler. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi 20 2 425–436.
IEEE [1]S. Polat and M. Terziler, “Sezgisel önermeler lojiği için semantikler”, Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi, vol. 20, no. 2, pp. 425–436, Dec. 2018, doi: 10.25092/baunfbed.485549.
ISNAD Polat, Süleyman - Terziler, Mehmet. “Sezgisel önermeler Lojiği Için Semantikler”. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi 20/2 (December 1, 2018): 425-436. https://doi.org/10.25092/baunfbed.485549.
JAMA 1.Polat S, Terziler M. Sezgisel önermeler lojiği için semantikler. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi. 2018;20:425–436.
MLA Polat, Süleyman, and Mehmet Terziler. “Sezgisel önermeler Lojiği Için Semantikler”. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi, vol. 20, no. 2, Dec. 2018, pp. 425-36, doi:10.25092/baunfbed.485549.
Vancouver 1.Polat S, Terziler M. Sezgisel önermeler lojiği için semantikler. Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi [Internet]. 2018 Dec. 1;20(2):425-36. Available from: https://izlik.org/JA45ZL75JJ