scientific article; zbMATH DE number 4008627

MaRDI QIDQ3759011zbMATH OpenFDO

Authors Axel Poigné

Publication date 1986

zbMATH Keywords

category with finite limitsequational logicessentially algebraic theories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• Classifying categories for partial equational logic
• ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Notions of Lawvere theory
• scientific article; zbMATH DE number 4077517

Cited in

(11)

• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• Functorial models for Petri nets
• Categories of algebraic sets
• Lawvere theories, finitary monads and Cauchy-completion
• Classifying categories for partial equational logic
• Algebraic theories and their models
• scientific article; zbMATH DE number 2125670 (Why is no real title available?)
• ESSENTIALLY ALGEBRAIC CATEGORIES OF PARTIAL ALGEBRAS
• scientific article; zbMATH DE number 4077517 (Why is no real title available?)
• Equivalences among various logical frameworks of partial algebras
• Parametrization for order-sorted algebraic specification

This page was built for publication:

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