Refutation Systems for a System of Nonsense-Logic

• Autorzy: Robert Sochacki
• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

refutation systems; rejected axioms; Ł-decidability

• Wydawca: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Czasopismo: Logic and Logical Philosophy
• Rocznik: 2011
• Tom: 20
• Numer: 3
• Strony: 233-239

Daty

wydano

2011-09-01

online

2013-07-02

Twórcy

autor

Robert Sochacki

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

Bibliografia

• [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.

Identyfikatory

DOI

10.12775/LLP.2011.013