|
|
|
|
| LEADER |
02476cam a2200373 i 4500 |
| 001 |
NSK01000177029 |
| 003 |
HR-ZaNSK |
| 005 |
20070917115657.0 |
| 008 |
961126s1996 ci a m 000 0 hrv |
| 035 |
|
|
|9 (HR-ZaNSK)177233
|
| 035 |
|
|
|9 (HR-ZaNSK)961126024
|
| 035 |
|
|
|a (HR-ZaNSK)000177029
|
| 040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
| 041 |
0 |
|
|a hrv
|
| 044 |
|
|
|a ci
|c hr
|
| 080 |
|
|
|a 510.6
|
| 080 |
|
|
|a 519.763
|
| 100 |
1 |
|
|a Vuković, Mladen,
|c matematičar
|
| 245 |
1 |
0 |
|a Generalizirani Veltmanovi modeli :
|b doktorska disertacija /
|c Mladen Vuković.
|
| 260 |
|
|
|a Zagreb :
|b M. Vuković,
|c 1996
|e ([s. l. :
|f s. n.])
|
| 300 |
|
|
|a 72 lista :
|b ilustr. ;
|c 30 cm.
|
| 500 |
|
|
|a Doktor prirodnih znanosti - matematika
|
| 500 |
|
|
|a mentor: Zvonimir Šikić;
|
| 502 |
|
|
|a Sveučilište u Zagrebu, Prirodoslovno-matematički fakultet, Zagreb, 1996
|
| 504 |
|
|
|a Bibliografija: str. [70]-72
|
| 504 |
|
|
|a Summary
|
| 520 |
|
|
|a Sažetak: U ovoj radnji proučavaju se veze među principima interpretabilnosti. Za ta proučavanja primjenjuje se nova semantika - generalizirana Veltmanova semantika - koju je definirao de Jongh. Određena je veza među IL-modelima i IL skup-modelima. Zatim dokazujemo adekvatnost i potpunost modalnog sistema IL u odnosu na generaliziranu Veltmanovu semantiku. U četvrtom poglavlju proučavamo karakteristične klase IL skup-okvira pojedinog principa interpretabilnosti. Istaknimo posebno da smo odredili semantiku za princip M . U posljednjem poglavlju dokazujemo nezavisnost među principima. Nakon toga dano je proširenje Švejdarovog teorema.
|
| 520 |
|
|
|a Summary: In this thesis we consider correspondences between the principles of interpretability. For this we use generalized Veltman semantic. The notion of generalized Veltman semantic defined de Jongh. The relation between IL-models and IL-set-models is obtained. We proved adequacy and completeness of modal system IL w.r.t. generalized Veltman models. In the fourth chapter we study characteristic classes of ILset-frames for the principles of interpretability. Specially, semantic for the principle M was determined. In the last chapter we prove independence between the principles. After this the extension of Švejdar's theorem was given.
|
| 650 |
|
7 |
|a Princip interpretabilnosti
|x Veltmanova semantika
|2 nskps
|
| 981 |
|
|
|p CRO
|r HRB1996
|
| 998 |
|
|
|n DCD
|c lba, 199703
|
| 852 |
4 |
|
|j DCD-ZG-227/96
|
| 876 |
|
|
|e DCD
|a 227/1996
|
| 886 |
0 |
|
|2 unimarc
|b 02229iam0 2200301 450
|