Refutation systems for a system of nonsense-logic

Robert Sochacki

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

Abstract


In the paper rejection systems for a system of nonsense-logic are investigated. The first rejection system consists of four rejected axioms and only one rejection rule  the rule of rejection by detachment. The second one consists of one rejected axiom and two rejection rules: the rule of rejection by detachment and the rule of rejection by substitution. The aim of the paper is to present also a proof of Ł-decidability for the considered systems.

Keywords


: refutation systems; rejected axioms; Ł-decidability

Full Text:

PDF

References


Bryll, G., Refutation Methods of Formulas (in Polish), Akademicka Oficyna Wydawnicza, Warszawa 1996.

Łukasiewicz, J., “Problems in logic and philosophy” (in Polish), in: “Z zagadnień logiki i filozofii”, selected works, edited by J. Słupecki, PWN, Warszawa 1961.

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

Sochacki, R., Refutation Methods in the Study of Logical Systems (in Polish), Wydawnictwo Uniwersytetu Opolskiego, Opole 2010.








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