Term Equational Systems and Logics

DOI10.1016/j.entcs.2008.10.011zbMath1286.03120OpenAlexW2044511080MaRDI QIDQ5415637

Chung-Kil Hur, Marcelo P. Fiore

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.011

zbMATH Keywords

completenessequational logicalgebraic theoriesfree algebrassoundnessnominal setsequational systemsSchanuel topos

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Free algebras (08B20) Equational classes, universal algebra in model theory (03C05)

Related Items

Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Unity in nominal equational reasoning: the algebra of equality on nominal sets ⋮ On universal algebra over nominal sets ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Variations on algebra: Monadicity and generalisations of equational theories
• On the construction of free algebras for equational systems
• Sheaves in geometry and logic: a first introduction to topos theory
• Rewriting logic: Roadmap and bibliography
• Nominal Equational Logic
• A Formal Calculus for Informal Equality with Binding
• Equational Systems and Free Constructions (Extended Abstract)