Formalization of the Sentential Logic Dual to Łukasiewicz’s Three-valued Logic

• Autorzy: Górnicka A.
• Języki publikacji: EN

Abstrakty

EN

Dual logics with respect to Łukasiewicz’s logics were investigated by G. Malinowski, M. Spasowski and R. Wójcicki in [4,5]. Our aim is to discuss the generalized method of natural deduction for the logic which is dual to Łukasiewicz’s three-valued logic.

Słowa kluczowe

EN

logic; dual logic; three-valued logics

PL

logika; logika dualna; 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: 2006
• Tom: Vol. 11
• Strony: 41--50
• Opis fizyczny: Bibliogr. 5 poz.

Twórcy

autor

Górnicka A.

• Institute of Mathematics and Computer Science Jan Długosz University of Częstochowa al. Armii Krajowej 13/15, 42-200 Częstochowa, Poland

Bibliografia

• [1] G. Bryll. Metody odrzucania wyrażeń. Akademicka Oficyna Wydawnicza, PLJ, Warszawa, pp. 57-87, 1996.
• [2] A. Górnicka. Axiomatization of the sentential logic dual with respect to Łukasiewicz’s three-valued logic. Bulletin of the Section of Logic, 2006, to appear.
• [3] A. Górnicka. Dual consequence operations associated with a certain class of logical matrices. Bulletin of the Section of Logic, 29, 4, 1-8, 2000.
• [4] G. Malinowski, M. Spasowski. Dual counterparts of Łukasiewicz’s sentential calculi. Studia Logica, 33, No.2, 153-162, 1974.
• [5] R. Wójcicki. Dual counterparts of consequence operations. Bulletin of the Section of Logic, 2, No. 1, 201-214, 1973.