Dergiler / Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi / 2018 / Cilt: 20 - Sayı: 2

Sezgisel önermeler lojiği için semantikler

Semantics for intuitionistic propositional logic

Süleyman POLAT,Mehmet TERZİLER

Dergi: Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi
Sayı: 2018 · Cilt: 20 - Sayı: 2
Sayfa: 425–436
DOI: —

Özet

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.

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.