Intuitionistic Models of Arithmetic

• Autorzy: Połacik T.
• Języki publikacji: EN

Słowa kluczowe

EN

arithmetic models; Kripke models; modal logic

PL

modele arytmetyki; model Kripkego; logika modalna

• Wydawca: Wydawnictwo Uniwersytetu Humanistyczno-Przyrodniczego im. Jana Długosza w Częstochowie
• Czasopismo: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
• Rocznik: 1999
• Tom: Vol. 6
• Strony: 70--74
• Opis fizyczny: Bibliogr. 3 poz.

Twórcy

autor

Połacik T.

• Institute of Mathematics University of Silesia, Katowice

Bibliografia

• [1] S. R. Buss, Intuitionistic Validity in T -normal Kripke Structures, Annais of Pure and Applied Logic 59 (1993),159-173.
• [2] D. van Dalen, H. Mulder, E. C. W. Krabbe, A. Visser, Finite Kripke Models of HA are Locally PA, Notre Dame Journal of Formai Logic 27 (1986), 528-532.
• [3] K. F. Wehmeier, Classical and Intuitionistic Models of Arithmetic, Notre Dame Journal of Formal Logic 37 (1996), 452-461.