Abstract Logics as Dialgebras

• 31 October 2002
• journal article
• Published by Elsevier in Electronic Notes in Theoretical Computer Science
• Vol. 65  (1) , 254-269
• https://doi.org/10.1016/s1571-0661(04)80367-0

Abstract

Keywords

• ABSTRACT LOGIC
• COALGEBRA
• DIALGEBRA
• CLOSURE SYSTEM FUNCTOR.