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).








logo
 
 
 
Financed by MNiSW on the basis of agreement no. 706/P-DUN/2018 (dated 10/05/18). Project 1: “Preparation of articles in English for eight editions of the journal Logic and Logical Philosophy over the period 2018–19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 64800 zł. Project 4: “Digitalisation of eight editions of the journal Logic and Logical Philosophy over the period 2018-19; Vol. 27, No. 1–4 (2018), Vol. 28, No. 1–4 (2019)”; amount from the DUN grant: 18600 zł.


ISSN: 1425-3305 (print version)
ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism