Refutation Systems for a System of Nonsense-Logic

• Authors: Robert Sochacki
• Languages of publication: EN

Abstracts

EN

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

EN

refutation systems; rejected axioms; Ł-decidability

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2011
• Volume: 20
• Issue: 3
• Pages: 233-239

Dates

published

2011-09-01

online

2013-07-02

Contributors

author

Robert Sochacki

• Institute of Philosophy Opole University Katowicka 89 45-061 Opole, Poland

References

• [1] Bryll, G., Refutation Methods of Formulas (in Polish), Akademicka Oficyna Wydawnicza, Warszawa 1996.
• [2] Łukasiewicz, J., “Problems in logic and philosophy” (in Polish), in: “Z za- gadnień logiki i filozofii”, selected works, edited by J. Słupecki, PWN, Warszawa 1961.
• [3] Pirog-Rzepecka, K., Nonsense-Logics Systems (in Polish), OTPN-PWN, Warszawa-Wrocław 1977.
• [4] Sochacki, R., Refutation Methods in the Study of Logical Systems (in Pol- ish), Wydawnictwo Uniwersytetu Opolskiego, Opole 2010.

Identifiers

DOI

10.12775/LLP.2011.013