Modeliranje pojma istine pomoću najveće intrinsične fiksne točke jake Kleeneove trovaljane semantike (CROSBI ID 340575)
Ocjenski rad | doktorska disertacija
Podaci o odgovornosti
Čulina, Boris
Šikić, Zvonimir
hrvatski
Modeliranje pojma istine pomoću najveće intrinsične fiksne točke jake Kleeneove trovaljane semantike
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.
logika; istina; semantika; fiksna točka;
nije evidentirano
engleski
Modelling the Concept of Truth by The Greatest Intrinsic Fixed Point of the Strong Kleene Three-valued Semantics
nije evidentirano
logic; truth; semantics; fixed point;
nije evidentirano
Podaci o izdanju
100
31.05.2004.
obranjeno
Podaci o ustanovi koja je dodijelila akademski stupanj
Prirodoslovno-matematički fakultet, Zagreb
Zagreb
