scientific article; zbMATH DE number 1180151

MaRDI QIDQ4399405zbMATH OpenFDO

Authors Grzegorz Bryll, Zofia Kostrzycka

Publication date 8 April 1999

zbMATH Keywords

sentential logicsStoic undemonstrables

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Abstract deductive systems (03B22)

Recommendations

• scientific article; zbMATH DE number 1941927
• Some paraconsistent sentential calculi
• Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz
• Undecidable problems for propositional calculi with implication
• An unsolvable problem concerning implicational calculi.
• Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
• Deductive capabilities of negationless predicate calculus
• The undecidability of entailment and relevant implication
• Avoiding impossibility theorems in radical inquisitive semantics
• Stoic Sequent Logic and Proof Theory

Cited in

(1)

• scientific article; zbMATH DE number 1018724 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4399405)