De Morgan clones and four-valued logics
From MaRDI portal
Publication:829759
DOI10.1007/s00012-021-00726-5zbMath1473.03045arXiv2111.09830OpenAlexW3156677573MaRDI QIDQ829759
Publication date: 6 May 2021
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2111.09830
Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50) Equational classes, universal algebra in model theory (03C05) Abstract algebraic logic (03G27)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A short introduction to clones.
- The proof by cases property and its variants in structural consequence relations
- Classical negation and expansions of Belnap-Dunn logic
- Selfextensional logics with a conjunction
- Introduction to the special issue on algebraic logic
- Polynomial interpolation and the Chinese remainder theorem for algebraic systems
- The logic of paradox
- The value of the four values
- Self-extensional three-valued paraconsistent logics
- Four-valued paradefinite logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Reasoning with logical bilattices
- The logic of distributive bilattices
- Belnap's Four-Valued Logic and De Morgan Lattices
- An abstract algebraic logic approach to tetravalent modal logics
- On the expressive power of three-valued and four-valued languages
- An expansion of first-order Belnap-Dunn logic
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
- Protoalgebraic logics
This page was built for publication: De Morgan clones and four-valued logics
