Natural Deduction System for Some Three-valued Propositional Logic

• Autorzy: Zbrzezny A.
• Języki publikacji: EN

Słowa kluczowe

EN

sequence N calculus; completeness theorem; logic of propositions

PL

teoria kompletności; logika zdań; rachunek ciągowy N

• 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: 148--152
• Opis fizyczny: Bibliogr. 4 poz.

Twórcy

autor

Zbrzezny A.

• Pedagogical University Institute of Mathernatics Al. Armii Krajowej 13/15 Częstochowa 42-201

Bibliografia

• [1] K.Hałkowska, A.Zają.c, On some three-valued propositional logie (in Polish), Acta Universitatis Wratislaviensis, No 1017, Logika 13 (1988), pp. 41-49
• [2] Witold A. Pogorzelski, Piotr Wojtylak, Elements of the theory of completeness in propositional logic, Silesian University, Katowice, 1982
• [3] A. Zbrzezny, The Gentzen type axiomatization of some three-valued propositional logic, Bulletin of the Section of Logie, No 17 (1988), pp. 70-74
• [4] A. Zbrzezny, The Hilbert type axiornatization of some three-valued propositional logic, Zeitschrift für mathernatische logik und Grundlagen der Mathematik, No 36 (1990), pp.415-421