Reductio ad contradictionem: an algebraic perspective
DOI10.1007/S11225-015-9645-9zbMATH Open1402.03033OpenAlexW2290879313MaRDI QIDQ295913FDOQ295913
Publication date: 14 June 2016
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-015-9645-9
four-valued logicparaconsistent logic, algebraic characterization, de Morgan algebras, reductio ad absurdum
Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Paraconsistent logics (03B53) Other algebras related to logic (03G25)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lattices With Involution
- Finitely subdirectly irreducible algebras with pseudocomplementation
- Implicational classes of De Morgan lattices
- Contradictory information: too much of a good thing
- Proofs, disproofs, and their duals
- Principal Congruences of Pseudocomplemented Demorgan Algebras
- Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
- THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
- Coproducts of De Morgan algebras
- Belnap's Four-Valued Logic and De Morgan Lattices
- Classical negation and expansions of Belnap-Dunn logic
- Equational Classes of Distributive Pseudo-Complemented Lattices
- The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition
- Principal Congruences of Pseudocomplemented Distributive Lattices
- Nelson's negation on the base of weaker versions of intuitionistic negation
- Constructive negations and paraconsistency
Cited In (1)
This page was built for publication: Reductio ad contradictionem: an algebraic perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q295913)
