Abstract Logics as Dialgebras

DOI10.1016/S1571-0661(04)80367-0zbMath1270.03145MaRDI QIDQ2842560

Alessandra Palmigiano

Publication date: 15 August 2013

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

zbMATH Keywords

coalgebraabstract logicdialgebraclosure system functor

Mathematics Subject Classification ID

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

Related Items (2)

A coalgebraic perspective on logical interpretations ⋮ A coalgebraic view on positive modal logic

Cites Work

• Unnamed Item
• Theory of logical calculi. Basic theory of consequence operations
• From Algebras and Coalgebras to Dialgebras
• Functors for coalgebras

This page was built for publication: Abstract Logics as Dialgebras