izvor podataka: crosbi
!
Modalna logika i Fittingova nomenklatura (CROSBI ID 161194)
Prilog u časopisu | stručni rad
Matić, Ivan
Modalna logika i Fittingova nomenklatura // Poučak : časopis za metodiku i nastavu matematike, 36 (2008), 30-43
Podaci o odgovornosti
Matić, Ivan
hrvatski
Modalna logika i Fittingova nomenklatura
U ovom radu opisujemo prilagodbu metode semantičkih stabala, prvenstveno razvijenu u klasičnoj logici, korištenju u modalnoj logici. Nakon uvoda u modalnu logiku i opisa prilagođene metode, popraćenog brojnim primjerima, detaljno dokazujemo njene osnovne značajke - korektnost i potpunost.
modalna logika; Fittingova nomenklatura
nije evidentirano
engleski
Modal Logic and Fitting Nomenclature
nije evidentirano
modal logic; Fitting nomenclature
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe