Abstract logics as dialgebras

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 1, 2002, Pages 254-269

  Palmigiano, Alessandra ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Abstract logic; Closure system functor; Coalgebra; Dialgebra

Indexed keywords

ALGEBRA; CONFORMAL MAPPING; MATHEMATICAL OPERATORS; SET THEORY;

ABSTRACT LOGIC; CLOSURE SYSTEM FUNCTOR; COALGEBRA; DIALGEBRA;

FORMAL LOGIC;

EID: 18944384366     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80367-0     Document Type: Conference Paper

References (4)

1. Font J.M., Jansana R. A General Algebraic Semantics for Sentential Logics. Lecture Notes in Logic :1996;Springer
2. Gumm H.P. Functors for Coalgebras. Algebra Universalis. 45:2001;135-147
3. Poll E., Zwanenburg J. From Algebras and Coalgebras to Dialgebras, (CMCS 2001) vol. 44 of ENTCS. 2001;Elsevier
4. Wójcicki R. Theory of Logical Calculi. Basic Theory of Consequence Operations. vol. 199:1988;Synthese Library, Reidel, Dordrecht