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.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism