Pregled bibliografske jedinice broj: 709198
A 4-valued framework encompassing intuitionistic and classical logic
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 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 709198 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
A 4-valued framework encompassing intuitionistic and classical logic
Autori
Perkov, Tin
Izvornik
Journal of applied non-classical logics (1166-3081) 24
(2014);
138-143
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
4-valued logic; intuitionistic logic; Kripke semantics
Sažetak
A 4-valued framework is proposed to distinguish intuitionistically valid formulas within classical validities.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
Citiraj ovu publikaciju:
Časopis indeksira:
- Scopus
Uključenost u ostale bibliografske baze podataka::
- MathSciNet
