The logic dual to Sobociński's n-valued logic

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

Abstrakty

EN

In this paper, we describe the logic dual to n-valued Sobociński logic. According to the idea presented by Malinowski and Spasowski [1], we introduce the consequence dual to the consequence of n-valued Sobociński logic in two ways: by a logical matrix and by a set of rules of inference. Then we prove that both approaches are equivalent and the consequence is dual in Wójcicki sense (see [3]).

Słowa kluczowe

EN

n-valued Sobociński logic; logical matrix

PL

matryca logiczna

• 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: 2010
• Tom: Vol. 15
• Strony: 35--42
• Opis fizyczny: Bibliogr. 3 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. Malinowski, M. Spasowski. Dual counterparts of Łukasiewicz's sentential calculi. Studia Logica, 33 (2), 153-162, 1974.
• [2] B. Sobociński. Axiomatization of certain many-valued systems of the theory of deduction. Roczniki prac naukowych zrzeszenia asystentów Uniwersystetu Józefa Piłsudskiego w Warszawie, No. 1, 399-419, 1936.
• [3] R. Wójcicki. Dual counterparts of consequence operations. Bull. Sect. Logic, 2 (1), 201-214, 1973.