Sezgisel önermeler lojiği için semantikler
| dc.contributor.author | MEHMET TERZİLER | |
| dc.contributor.author | Süleyman POLAT | |
| dc.contributor.author | Terziler, Mehmet | |
| dc.contributor.author | Polat, Süleyman | |
| dc.date.accessioned | 2025-10-22T16:06:02Z | |
| dc.date.issued | 2018 | |
| dc.description.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. | |
| dc.identifier.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). | |
| dc.identifier.doi | 10.25092/baunfbed.485549 | |
| dc.identifier.issn | 1301-7985 | |
| dc.identifier.issn | 2536-5142 | |
| dc.identifier.uri | https://gcris.yasar.edu.tr/handle/123456789/10895 | |
| dc.identifier.uri | https://search.trdizin.gov.tr/en/yayin/detay/316444 | |
| dc.language.iso | Türkçe | |
| dc.relation.ispartof | Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.source | Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi | |
| dc.subject | Mantık-Felsefe | |
| dc.subject | Mantık | |
| dc.subject | Felsefe | |
| dc.title | Sezgisel önermeler lojiği için semantikler | |
| dc.type | Article | |
| dc.type | Article | |
| dspace.entity.type | Publication | |
| gdc.bip.impulseclass | C5 | |
| gdc.bip.influenceclass | C5 | |
| gdc.bip.popularityclass | C5 | |
| gdc.coar.type | text::journal::journal article | |
| gdc.collaboration.industrial | false | |
| gdc.description.department | ||
| gdc.description.departmenttemp | [Polat, Süleyman; Terziler, Mehmet] Yaşar Üniversitesi, Fen Edebiyat Fakültesi, Matematik Bölümü, İzmir, Türkiye | |
| gdc.description.endpage | 436 | |
| gdc.description.issue | 2 | |
| gdc.description.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | |
| gdc.description.startpage | 425 | |
| gdc.description.volume | 20 | |
| gdc.identifier.openalex | W2901000850 | |
| gdc.identifier.trdizinid | 316444 | |
| gdc.index.type | TR-Dizin | |
| gdc.oaire.accesstype | GOLD | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.impulse | 0.0 | |
| gdc.oaire.influence | 2.3811355E-9 | |
| gdc.oaire.isgreen | false | |
| gdc.oaire.keywords | Sezgisel lojik;Kripke semantiği;modal lojik;Heyting cebirleri;topolojik semantik | |
| gdc.oaire.keywords | Engineering | |
| gdc.oaire.keywords | Mühendislik | |
| gdc.oaire.keywords | Intuitionistic logic;Kripke semantics;modal logic;Heyting algebras;topologic semantics | |
| gdc.oaire.popularity | 9.813715E-10 | |
| gdc.oaire.publicfunded | false | |
| gdc.oaire.sciencefields | 0211 other engineering and technologies | |
| gdc.oaire.sciencefields | 02 engineering and technology | |
| gdc.oaire.sciencefields | 0101 mathematics | |
| gdc.oaire.sciencefields | 01 natural sciences | |
| gdc.openalex.collaboration | International | |
| gdc.openalex.fwci | 0.0 | |
| gdc.openalex.normalizedpercentile | 0.18 | |
| gdc.opencitations.count | 0 | |
| gdc.plumx.mendeley | 1 | |
| gdc.virtual.author | Terziler, Mehmet | |
| oaire.citation.endPage | 436 | |
| oaire.citation.startPage | 425 | |
| publicationissue.issueNumber | 2 | |
| publicationvolume.volumeNumber | 20 | |
| relation.isAuthorOfPublication | 6c994091-52c7-4e77-a3bf-2ea81b963cc7 | |
| relation.isAuthorOfPublication.latestForDiscovery | 6c994091-52c7-4e77-a3bf-2ea81b963cc7 | |
| relation.isOrgUnitOfPublication | ac5ddece-c76d-476d-ab30-e4d3029dee37 | |
| relation.isOrgUnitOfPublication.latestForDiscovery | ac5ddece-c76d-476d-ab30-e4d3029dee37 |