0000000000214626
AUTHOR
Robert Sochacki
showing 3 related works from this author
Refutation systems for a system of nonsense-logic
2013
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.
Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński
2009
In this paper rejection systems for the “nonsense-logic” W and the k-valued implicational-negational sentential calculi of Sobocinski are given. Considered systems consist of computable sets of rejected axioms and only one rejection rule: the rejection version of detachment rule.
Logical Sentential Calculi Inspired by the Chrysippean Sentential Calculus
2021
The aim of the present paper is to consider an approach, different from that presented by J. Łukasiewicz, concerning the interpretation of the so-called stoic undemonstrables, which were given by Chrysippus. Stoic undemonstrables have been interpreted in two different ways: using the notion of “negation of a sentence” (Łukasiewicz) and using the notion of “a sentence inconsistent with a given one” (Mates). According to the Stoics, two sentences are inconsistent if one of them is negation of the other. The Mates’ interpretation generates five different inference rules. Based on one of these rules we can consider (with other undemonstrables) four different stoic propositional calculi. Taking …