Reductio ad contradictionem: an algebraic perspective

DOI10.1007/s11225-015-9645-9zbMath1402.03033OpenAlexW2290879313MaRDI QIDQ295913

Adam Přenosil

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

zbMATH Keywords

four-valued logicparaconsistent logic, algebraic characterization, de Morgan algebras, reductio ad absurdum

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Other algebras related to logic (03G25) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (1)

Consistency, Completeness, and Classicality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classical negation and expansions of Belnap-Dunn logic
• Nelson's negation on the base of weaker versions of intuitionistic negation
• Constructive negations and paraconsistency
• Finitely subdirectly irreducible algebras with pseudocomplementation
• Implicational classes of De Morgan lattices
• Contradictory information: too much of a good thing
• 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
• Lattices With Involution
• Equational Classes of Distributive Pseudo-Complemented Lattices
• The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition
• Principal Congruences of Pseudocomplemented Distributive Lattices

This page was built for publication: Reductio ad contradictionem: an algebraic perspective