6533b862fe1ef96bd12c75d5
RESEARCH PRODUCT
Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński
Robert Sochackisubject
Discrete mathematicsPhilosophymedia_common.quotation_subjectNonsenseArithmeticAxiomMathematicsmedia_commondescription
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.
| year | journal | country | edition | language |
|---|---|---|---|---|
| 2009-03-15 | Logic and Logical Philosophy |