izvor podataka: crosbi
!
A 4-valued framework encompassing intuitionistic and classical logic (CROSBI ID 207695)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Perkov, Tin
A 4-valued framework encompassing intuitionistic and classical logic // Journal of applied non-classical logics, 24 (2014), 138-143. doi: 10.1080/11663081.2014.911533
Podaci o odgovornosti
Perkov, Tin
engleski
A 4-valued framework encompassing intuitionistic and classical logic
A 4-valued framework is proposed to distinguish intuitionistically valid formulas within classical validities.
4-valued logic; intuitionistic logic; Kripke semantics
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
24
2014.
138-143
objavljeno
1166-3081
1958-5780
10.1080/11663081.2014.911533
Povezanost rada
Povezane osobe
Povezane ustanove