scientific article; zbMATH DE number 6863646
From MaRDI portal
Publication:4636036
Recommendations
- scientific article; zbMATH DE number 859800
- Inverse negation and classical implicative logic
- Subintuitionistic logics and the implications they prove
- `Classical' negation in nonmonotonic reasoning and logic programming
- Contradictoriness, paraconsistent negation and non-intended models of classical logic
- Classical negation and expansions of Belnap-Dunn logic
- scientific article; zbMATH DE number 4121961
- Subintuitionistic logics
- Negation and paraconsistent logics
- Theories in classical propositional logic and the converse of substitution
Cited in
(17)- Assertion, Denial and Non-classical Theories
- scientific article; zbMATH DE number 859800 (Why is no real title available?)
- An Unexpected Feature of Classical Propositional Logic in the Tractatus
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
- Another combination of classical and intuitionistic conditionals
- scientific article; zbMATH DE number 7576856 (Why is no real title available?)
- scientific article; zbMATH DE number 1953898 (Why is no real title available?)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
- Subatomic negation
- More on empirical negation
- Negational fragment of intuitionistic control logic
- A closer look at some subintuitionistic logics
- A predicate logical extension of a subintuitionistic propositional logic
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- On a substructural logic with minimal negation
- Empirical negation, co-negation and contraposition rule. I: Semantical investigations
- Classical and intuitionistic subexponential logics are equally expressive
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 Q4636036)
