- Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi
- Vol: 20 Issue: 2
- Sezgisel önermeler lojiği için semantikler
Sezgisel önermeler lojiği için semantikler
Authors : Süleyman Polat, Mehmet Terziler
Pages : 425-436
Doi:10.25092/baunfbed.485549
View : 18 | Download : 7
Publication Date : 2018-12-01
Article Type : Research
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