Logics of upsets of De Morgan lattices
From MaRDI portal
Publication:6140751
DOI10.1002/malq.202100076arXiv2112.03884OpenAlexW4385427652MaRDI QIDQ6140751
Publication date: 2 January 2024
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2112.03884
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The proof by cases property and its variants in structural consequence relations
- An algebraic view of super-Belnap logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Nothing but the truth
- Propositional calculus for contradictory deductive systems
- Some characterization theorems for infinitary universal Horn logic without equality
- A propositional calculus for inconsistent deductive systems
- First-Degree Entailment and Structural Reasoning
- Injective de Morgan and Kleene Algebras
- Coproducts of De Morgan algebras
- An infinity of super-Belnap logics
- Lattices With Involution
- THE LATTICE OF SUPER-BELNAP LOGICS
- Protoalgebraic logics
This page was built for publication: Logics of upsets of De Morgan lattices
