Relational Methods in Computer Science

DOI10.1007/11734673MaRDI QIDQ5899304zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska, Ivo Düntsch, 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) Other algebras related to logic (03G25) Lattices and duality (06D50)

Recommendations

• Duality via truth for information algebras based on De Morgan lattices
• Duality between modal algebras and neighbourhood frames
• Dualities for structures of applied logics
• Dualities for modal algebras from the point of view of triples
• Topology and duality in modal logic

Cited in

(9)

• Domain and function: a dual-space model of semantic relations and compositions
• Duality via truth for information algebras based on De Morgan lattices
• scientific article; zbMATH DE number 4043818 (Why is no real title available?)
• scientific article; zbMATH DE number 1859180 (Why is no real title available?)
• scientific article; zbMATH DE number 6135973 (Why is no real title available?)
• Context Algebras, Context Frames, and Their Discrete Duality
• Duality via truth for some fuzzy modal logic
• Representation theorems for some fuzzy logics based on residuated non-distributive lattices
• Algebras for Galois-style connections and their discrete duality

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899304)