Pregled bibliografske jedinice broj: 183084
Modeliranje pojma istine pomoću najveće intrinsične fiksne točke jake Kleeneove trovaljane semantike
Modeliranje pojma istine pomoću najveće intrinsične fiksne točke jake Kleeneove trovaljane semantike, 2004., doktorska disertacija, Prirodoslovno matematički fakultet-Matematički odjel, Zagreb
CROSBI ID: 183084 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Modeliranje pojma istine pomoću najveće intrinsične fiksne točke jake Kleeneove trovaljane semantike
(Modelling the Concept of Truth by The Greatest Intrinsic Fixed Point of the Strong Kleene Three-valued Semantics)
Autori
Čulina, Boris
Vrsta, podvrsta i kategorija rada
Ocjenski radovi, doktorska disertacija
Fakultet
Prirodoslovno matematički fakultet-Matematički odjel
Mjesto
Zagreb
Datum
31.05
Godina
2004
Stranica
100
Mentor
Šikić, Zvonimir
Ključne riječi
logika; istina; semantika; fiksna točka;
(logic; truth; semantics; fixed point;)
Sažetak
Na osnovu elementarnog razmišljanja o funkcioniranju jezika dano je rješenje paradoksa istine te zasnovana odgovarajuća semantika predikata istine. Pokazano je da je to upravo dvovaljani opis najveće intrinsične fiksne točke jake Kleeneove trovaljane semantike.
Izvorni jezik
Hrvatski
Znanstvena područja
Matematika
