Abstract logics as dialgebras

DOI10.1016/S1571-0661(04)80367-0MaRDI QIDQ2842560zbMATH OpenFDO

Authors Alessandra Palmigiano

Publication date 15 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80367-0

zbMATH Keywords

abstract logicclosure system functorcoalgebradialgebra

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) Categorical logic, topoi (03G30)

Recommendations

• From algebras and coalgebras to dialgebras
• scientific article; zbMATH DE number 1231636
• Di-algebraic semantics of logics
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• On a coalgebraic view on logic

Cites work

• From algebras and coalgebras to dialgebras
• Functors for coalgebras
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(6)

• A logic of implications in algebra and coalgebra
• Abstract logics, logic maps, and logic homomorphisms
• A coalgebraic perspective on logical interpretations
• scientific article; zbMATH DE number 1231636 (Why is no real title available?)
• Di-algebraic semantics of logics
• A coalgebraic view on positive modal logic

This page was built for publication: Abstract logics as dialgebras

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