@article{article_485549, title={Sezgisel önermeler lojiği için semantikler}, journal={Balıkesir Üniversitesi Fen Bilimleri Enstitüsü Dergisi}, volume={20}, pages={425–436}, year={2018}, DOI={10.25092/baunfbed.485549}, author={Polat, Süleyman and Terziler, Mehmet}, keywords={Sezgisel lojik,Kripke semantiği,modal lojik,Heyting cebirleri,topolojik semantik}, 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. }, number={2}, publisher={Balıkesir Üniversitesi}