Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński

Robert Sochacki

DOI: http://dx.doi.org/10.12775/LLP.2008.018

Abstract


In this paper rejection systems for the “nonsense-logic” W and the k-valued implicational-negational sentential calculi of Sobociński are given. Considered systems consist of computable sets of rejected axioms and only one rejection rule: the rejection version of detachment rule.

Keywords


rejected axioms; the logic W; the k-valued sentential calculi of Sobociński

Full Text:

PDF

References


Piróg-Rzepecka, K., Nonsense-Logics Systems (in Polish), OTPN–PWN, Warszawa–Wroclaw 1977.

Sobociński, B., “Axiomatization of some many-valued systems of deductive theory” (in Polish), Roczniki Prac Naukowych Zrzeszenia Asystentów Uniwersytetu Józefa Piłsudskiego w Warszawie I (1936).








ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism