Relational Representation Theorems for General Lattices with Negations

DOI10.1007/11828563_11zbMath1135.06003OpenAlexW109402995MaRDI QIDQ5459180

Wojciech Dzik, Ewa S. Orłowska, Clint J. van Alten

Publication date: 24 April 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11828563_11

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Relational systems, laws of composition (08A02)

Related Items (7)

Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ Discrete duality for 3-valued Łukasiewicz–Moisil algebras ⋮ Discrete dualities for double Stone algebras ⋮ Discrete duality for De Morgan Algebras with operators ⋮ Algebras for Galois-style connections and their discrete duality ⋮ Canonical extensions and relational representations of lattices with negation ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

This page was built for publication: Relational Representation Theorems for General Lattices with Negations