Relational Methods in Computer Science

DOI10.1007/11734673zbMath1185.03035OpenAlexW2482623798MaRDI QIDQ5899304

Ewa S. Orłowska, Ivo Duentsch, Ingrid Rewitzky

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Lattices and duality (06D50) Other algebras related to logic (03G25)

Related Items (3)

Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ Algebras for Galois-style connections and their discrete duality ⋮ Context Algebras, Context Frames, and Their Discrete Duality

This page was built for publication: Relational Methods in Computer Science