A Formalization of a Logic Without Tautologies

• Autorzy: Bryll G. , Chotomska A. , Jaworski L.
• Języki publikacji: EN

Abstrakty

EN

Słowa kluczowe

EN

logic formalization; Lindenbaum theorem; three-valued logics

PL

formalizacja logiki; twierdzenie Lindenbauma; logika trójwartościowa

• 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: 2000/2001
• Tom: Vol. 8
• Strony: 11--12
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Bryll G.

• Institute of Mathematics ul. Oleska 48 45-052 Opole

autor

Chotomska A.

• Institute of Mathematics ul. Oleska 48 45-052 Opole

autor

Jaworski L.

• Institute of Mathematics ul. Oleska 48 45-052 Opole

Bibliografia

• [1] A. Gniazdowski: Hilberowska formalizacja trójwartościowej logiki quasiboole’owskiej.ZN WSI w Opolu, Matematyka 4 (1983), pp.63-70.
• [2] A. Gniazdowski: Formalizacja pewnej logiki trójwartościowej metodą, drzew. ZN WSI w Opolu, Matematyka 4 (1983), Pp.7I-74.
• [3] A. Gniazdowski: Dwie logiki zdaniowe wyznaczone przez czteroelementową, algebrę quasi-boole’owską,. Acta Universitatis Wratislaviensis, Logika 10 (1983), pp. 3-15.
• [4] J. Kalicki: Note on truth-tables. Journal of Symbolic Logic, vol. 15, No. 3 (1950), pp. 174-181.
• [5] J. Kalicki: A test for the existence of tautologies according to many valued truth - tables. Journal of Symbolic Logic, vol. 15, No. 3 (1950),
• [6] J. Kalicki: A test for the equality of truth-tables. Journal of Symbolic Logic, vol. 17, No. 3 (1952), pp. 161-163.
• [7] S.C. Kleene: Introducion to metamathematics. Wolters-Noordhoff Publishing and North-Holland Publishing Company, Amsterdam 1971.
• [8] sWza.wAa. P1o9g7o3r.zelski: Klasyczny rachunek zdań, wyd. 2. PWN, Warszawa 1973.