Galois connections for bilattices

DOI10.1007/s00012-021-00722-9OpenAlexW3163010346MaRDI QIDQ2036385

Georgios V. Pitsiladis, Costas D. Koutras

Publication date: 29 June 2021

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-021-00722-9

zbMATH Keywords

closure operatorsbilatticesGalois connections

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Structure theory of lattices (06B05) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural dualities through product representations: bilattices and beyond
• Priestley duality for bilattices
• Varieties of interlaced bilattices
• Some useful 16-valued logics: How a computer network should think
• Bilattices and the theory of truth
• Paraconsistent declarative semantics for extended logic programs
• A duality theory for bilattices
• Reasoning with logical bilattices
• Residuated bilattices
• Product representation for default bilattices: an application of natural duality theory.
• Representation of interlaced trilattices
• Reasoning with different levels of uncertainty
• Bilattices and the semantics of logic programming
• Kleene's Logic, Generalized
• The family of stable models
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• A general framework for product representations: bilattices and beyond
• Galois Connexions