Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Prucnal's concept of a logic determined by a model is discussed. It is proved that logics different from the pure first-order one can be determined by models with undecidable theories.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
87--91
Opis fizyczny
Twórcy
autor
- Department of Logic, Jagiellonian University, Grodzka 52, Kraków 31-044, Poland, uzwronsk@cyfr-kr.edu.pl
Bibliografia
- [1] C.C. Chang, H.J. Keisler, Model Theory, vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, third ed., 1990.
- [2] A. Church, Introduction to Mathematical Logic, vol. 1, Princeton Univ. Press, Princeton, 1956.
- [3] D. Hilbert, P. Bernays, Grundlagen der Mathematik II, Springer-Verlag, Berlin, 1939.
- [4] S.C. Kleene, Introduction to Metamathematics, North-Holland Publishing Co., Amsterdam, 1967. Fifth reprint.
- [5] T. Prucnal, Logics of relational systems, Bull. of the Section of Logic, Polish Acad. Sci., 19 (1990).
- [6] A. Wroński, The logic determined - in the sense of T. Prucnal - by decidable first- order structures. Streszczenia referatów XLI Konferencji Historii Logiki, Kraków, 24-25 październik, 1995.
- [7] A. Wroński, Uwagi o logice wyznaczonej - w sensie Tadeusza Prucnala - przez struktury o rozstrzygalnych zawartościach, in Byt, Logos, Matematyka, J. Perzanowski and A. Pietruszczak, eds., Wydawnictwo Uniwersytetu Mikołaja Kopernika, Toruń, 1997, pp. 233-236. Księga pamiątkowa bloku ontologiczno-logicznego VI Polskiego Zjazdu Filozoficznego, Toruń, 5-9 września 1995 r.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUJ1-0019-0090