Sezgisel önermeler lojiği için semantikler

Authors : Süleyman POLAT, Mehmet TERZİLER

Pages : 425-436

Doi:10.25092/baunfbed.485549

View : 35 | Download : 14

Publication Date : 2018-12-01

Article Type : Research Paper

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

ORIGINAL ARTICLE URL