Presenting functors on many-sorted varieties and applications

DOI10.1016/J.IC.2009.11.007zbMath1252.18009OpenAlexW2163553661MaRDI QIDQ618170

Alexander Kurz, Daniela Petrişan

Publication date: 14 January 2011

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.11.007

zbMATH Keywords

equational logicabstract syntaxalgebraic semantics of first-order logicbinding algebrasmany-sorted varietiesmodular completeness proofs of coalgebraic logics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Equational categories (18C05) Categories of algebras (08C05)

Related Items (2)

On a categorical framework for coalgebraic modal logic ⋮ Coalgebraic semantics of modal logics: an overview

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the greatest fixed point of a set functor
• A categorical approach to polyadic algebras
• Inclusive first-order logic
• Domain theory in logical form
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• The abstract variable-binding calculus
• Modular construction of complete coalgebraic logics
• Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
• Relating Coalgebraic Notions of Bisimulation
• One-and-a-halfth-order Logic
• On universal algebra over nominal sets
• The Goldblatt-Thomason Theorem for Coalgebras
• Adjointness in Foundations
• Coalgebraic Modal Logic Beyond Sets
• Equational Systems and Free Constructions (Extended Abstract)
• Coalgebraic modal logic of finite rank
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computation Structures
• Probability logic for type spaces

This page was built for publication: Presenting functors on many-sorted varieties and applications