Süleyman POLAT, Mehmet TERZİLER

Sezgisel önermeler lojiği için semantikler

Semantics for intuitionistic propositional logic

Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi

2018-Cilt: 20 - Sayı: 2

425-436

Intuitionistic logic, Kripke semantics, modal logic, Heyting algebras, topologic semantics

122 73