A logic of implications in algebra and coalgebra

DOI10.1007/S00012-009-0009-ZMaRDI QIDQ1047097zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Manuela Sobral, Lurdes Sousa

Publication date 4 January 2010

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10316/11299

zbMATH Keywords

algebrascoalgebraslogic of injectivityBirkhoff calculuscoalgebraic implicationsGumm calculuslogic of implications

Mathematics Subject Classification ID

Logic in computer science (03B70) Equational classes, universal algebra in model theory (03C05) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Abstract logics as dialgebras
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical abstract algebraic logic: Partially ordered algebraic systems

Cites work

• scientific article; zbMATH DE number 3536298 (Why is no real title available?)
• scientific article; zbMATH DE number 1231626 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1497879 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1841841 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• A logic of orthogonality.
• Additions and corrections to ``Terminal coalgebras in well-founded set theory
• Birkhoffs variety theorem for coalgebras
• Complete Categorical Deduction for Satisfaction as Injectivity
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
• Computer Science Logic
• Equational and implicational classes of coalgebras
• Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
• On the final sequence of a finitary set functor
• On tree coalgebras and coalgebra presentations
• On varieties and covarieties in a category
• Parametrized data types do not need highly constrained parameters
• Residually small varieties without rank
• Solid hulls of concrete categories
• The intersection of algebra and coalgebra
• The temporal logic of coalgebras via Galois algebras
• Universal coalgebra: A theory of systems

Cited in

(6)

• The orthogonal subcategory problem and the small object argument
• A schematic extension of IMTL-logic algebras
• KZ-monadic categories and their logic
• A calculus of lax fractions
• Algebras with implication and fusion: a different point of view.
• Towards an algebraic semantics for implicatives

This page was built for publication: A logic of implications in algebra and coalgebra

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