Yazar
-
Sezgisel Önermeler Lojiği Için Semantikler
Polat, S.; Terziler, M. (2018)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.
DSpace@YASAR by Yasar University Institutional Repository is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 Unported License..