Pregled bibliografske jedinice broj: 455249
Modalna logika i Fittingova nomenklatura
Modalna logika i Fittingova nomenklatura // Poučak : časopis za metodiku i nastavu matematike, 36 (2008), 30-43 (podatak o recenziji nije dostupan, članak, stručni)
CROSBI ID: 455249 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Modalna logika i Fittingova nomenklatura
(Modal Logic and Fitting Nomenclature)
Autori
Matić, Ivan
Izvornik
Poučak : časopis za metodiku i nastavu matematike (1332-3008) 36
(2008);
30-43
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, stručni
Ključne riječi
modalna logika; Fittingova nomenklatura
(modal logic; Fitting nomenclature)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
037-0372794-2804 - Unitarne reprezentacije klasicnih grupa i automorfne forme (Tadić, Marko, MZOS ) ( CroRIS)
Ustanove:
Prirodoslovno-matematički fakultet, Matematički odjel, Zagreb
Profili:
Ivan Matić
(autor)
