Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński

Sochacki, Robert

doi:10.12775/llp.2008.018

Search citation statements

Order By: Relevance

Paper Sections

Select...

Intuitionistic Logic and Extensions1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2018

Publication Types

Select...

Book1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Sochacki also built refutation systems for selected many-valued logics: the k-valued logic of Sobociński and some systems of nonsense logic [49,51].…”

Section: Intuitionistic Logic and Extensionsmentioning

confidence: 99%

Rejection in Łukasiewicz’s and Słupecki’s Sense

Wybraniec-Skardowska

2018

Studies in Universal Logic

View full text Add to dashboard Cite

The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz and developed by his student Słupecki, the pioneers of the method, which becomes relevant in modern approaches to logic.

show abstract

“…Sochacki also built refutation systems for selected many-valued logics: the k-valued logic of Sobociński and some systems of nonsense logic [49,51].…”

Section: Intuitionistic Logic and Extensionsmentioning

confidence: 99%

Rejection in Łukasiewicz’s and Słupecki’s Sense

Wybraniec-Skardowska

2018

Studies in Universal Logic

View full text Add to dashboard Cite

show abstract

Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński

Abstract: In this paper rejection systems for the "nonsense-logic" W and the k-valued implicational-negational sentential calculi of Sobociński are given. Considered systems consist of computable sets of rejected axioms and only one rejection rule: the rejection version of detachment rule.

Cited by 1 publication

References 0 publications

Rejection in Łukasiewicz’s and Słupecki’s Sense

Rejection in Łukasiewicz’s and Słupecki’s Sense

Contact Info

Product

Resources

About