Pregled bibliografske jedinice broj: 61111
The interpretability logic ILF
The interpretability logic ILF // Mathematical Communications, 3 (1997), 2; 205-210 (podatak o recenziji nije dostupan, članak, znanstveni)
CROSBI ID: 61111 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
The interpretability logic ILF
(The interpretability logic of ILF)
Autori
Vuković, Mladen
Izvornik
Mathematical Communications (1331-0623) 3
(1997), 2;
205-210
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
interpretability logic; Veltman models
Sažetak
In this paper a characteristic class of IL_set frames for the principle F is determined. Then is proved that the principle P is not provable in the system ILF. The generalized Veltman models are
used.
Izvorni jezik
Engleski
Znanstvena područja
Matematika
POVEZANOST RADA
Projekti:
120033
Ustanove:
Fakultet strojarstva i brodogradnje, Zagreb
Profili:
Mladen Vuković
(autor)
