Representation of interlaced trilattices
From MaRDI portal
Publication:2446542
DOI10.1016/j.jal.2013.03.001zbMath1284.03282OpenAlexW2108514364MaRDI QIDQ2446542
Publication date: 17 April 2014
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2013.03.001
Other algebras related to logic (03G25) Many-valued logic (03B50) Generalizations of lattices (06B75)
Related Items
Rivals to Belnap-Dunn logic on interlaced trilattices ⋮ Interpolation in 16-valued trilattice logics ⋮ Galois connections for bilattices ⋮ The logic of generalized truth values and the logic of bilattices ⋮ Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Varieties of interlaced bilattices
- Some useful 16-valued logics: How a computer network should think
- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- On axiomatizing Shramko-Wansing's logic
- A duality theory for bilattices
- The logic of distributive bilattices
- Kleene's Logic, Generalized
- Belnap's Four-Valued Logic and De Morgan Lattices
- Regular bilattices
- The Trilattice of Constructive Truth Values
- The structure of interlaced bilattices
- Congruence Relations in Direct Products
- Constructible falsity
This page was built for publication: Representation of interlaced trilattices