Presenting functors on many-sorted varieties and applications
type: Item
instance of: scholarly article
title: Presenting functors on many-sorted varieties and applications
zbMATH Open document ID: 1252.18009
author: Alexander Kurz
author: Daniela Petrişan
published in: Information and Computation
publication date: 2011-01-14T00:00:00Z
Mathematics Subject Classification ID: 18C05
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 08C05
zbMATH DE Number: 5836750
zbMATH Keywords: many-sorted varieties
zbMATH Keywords: equational logic
zbMATH Keywords: binding algebras
zbMATH Keywords: abstract syntax
zbMATH Keywords: modular completeness proofs of coalgebraic logics
zbMATH Keywords: algebraic semantics of first-order logic
MaRDI profile type: Publication
full work available at URL: j.ic.2009.11.007
OpenAlex ID: W2163553661
cites work: Domain theory in logical form
cites work: On the greatest fixed point of a set functor
cites work: Q4293501
cites work: Q3996444
cites work: Q3248991
cites work: Modal logic
cites work: Foundations of Software Science and Computational Structures
cites work: Foundations of Software Science and Computation Structures
cites work: Modular construction of complete coalgebraic logics
cites work: Equational Systems and Free Constructions (Extended Abstract)
cites work: One-and-a-halfth-order Logic
cites work: Q3282928
cites work: Probability logic for type spaces
cites work: Q5616133
cites work: Many-sorted coalgebraic modal logic: A model-theoretic study
cites work: Coalgebraic Modal Logic Beyond Sets
cites work: Algebraic semantics for coalgebraic logics
cites work: Coalgebraic modal logic of finite rank
cites work: On universal algebra over nominal sets
cites work: The Goldblatt-Thomason Theorem for Coalgebras
cites work: Adjointness in Foundations
cites work: Inclusive first-order logic
cites work: A categorical approach to polyadic algebras
cites work: Coalgebraic modal logic: soundness, completeness and decidability of local consequence
cites work: The abstract variable-binding calculus
cites work: Q4499303
cites work: Relating Coalgebraic Notions of Bisimulation
DOI: 10.1016/J.IC.2009.11.007
description: scientific article; zbMATH DE number 5836750