Presenting functors on many-sorted varieties and applications

DOI10.1016/J.IC.2009.11.007zbMATH Open1252.18009OpenAlexW2163553661MaRDI QIDQ618170FDOQ618170

Authors: 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

Recommendations

• Functorial coalgebraic logic: the case of many-sorted varieties
• Strongly complete logics for coalgebras
• A 2-categorical framework for the syntax and semantics of many-sorted equational logic
• Institutionalising many-sorted coalgebraic modal logic
• scientific article; zbMATH DE number 3970817

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) Categories of algebras (08C05) Equational categories (18C05)

Cites Work

• Modal logic
• Domain theory in logical form
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coalgebraic Modal Logic Beyond Sets
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Modular construction of complete coalgebraic logics
• Algebraic semantics for coalgebraic logics
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computation Structures
• Probability logic for type spaces
• Title not available (Why is that?)
• Adjointness in Foundations
• Title not available (Why is that?)
• One-and-a-halfth-order Logic
• On universal algebra over nominal sets
• The Goldblatt-Thomason Theorem for Coalgebras
• Title not available (Why is that?)
• Many-sorted coalgebraic modal logic: A model-theoretic study
• On the greatest fixed point of a set functor
• Inclusive first-order logic
• The abstract variable-binding calculus
• Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
• Title not available (Why is that?)
• Equational Systems and Free Constructions (Extended Abstract)
• Coalgebraic modal logic of finite rank
• A categorical approach to polyadic algebras

Cited In (6)

• On a categorical framework for coalgebraic modal logic
• Foundations of Software Science and Computation Structures
• Many-valued coalgebraic logic over semi-primal varieties
• Adjoint functors, projectivization, and differentiation algorithms for representations of partially ordered sets.
• Coalgebraic semantics of modal logics: an overview
• A 2-categorical framework for the syntax and semantics of many-sorted equational logic

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

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