Sezgisel önermeler lojiği için semantikler
Loading...
Date
2018
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Open Access Color
GOLD
Green Open Access
No
OpenAIRE Downloads
OpenAIRE Views
Publicly Funded
No
BIP! Indicators
Impulse
Average
Influence
Average
Popularity
Average
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.
Description
Keywords
Mantık-Felsefe, Mantık, Felsefe, Sezgisel lojik;Kripke semantiği;modal lojik;Heyting cebirleri;topolojik semantik, Engineering, Mühendislik, Intuitionistic logic;Kripke semantics;modal logic;Heyting algebras;topologic semantics
Fields of Science
0211 other engineering and technologies, 02 engineering and technology, 0101 mathematics, 01 natural sciences
Citation
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).
WoS Q
Scopus Q
OpenCitations Citation Count
N/A
Source
Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi
Volume
20
Issue
2
Start Page
425
End Page
436
Collections
PlumX Metrics
Captures
Mendeley Readers : 1
Google Scholar™
