scientific article; zbMATH DE number 4158915

MaRDI QIDQ3487614zbMATHFDO

Authors Vladimir Yu. Sazonov

Publication date 1989

zbMATH Keywords

many-sorted algebraic theoriescategories with finite productsintuitionistic equational logicmany-sorted Kripke-algebra

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• scientific article; zbMATH DE number 1166289
• Algebraic theories and their models
• WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?
• Notions of Lawvere theory
• scientific article; zbMATH DE number 3918620

Cited in

(5)

• Algebraic theories and their models
• scientific article; zbMATH DE number 3918620 (Why is no real title available?)
• scientific article; zbMATH DE number 2202200 (Why is no real title available?)
• WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?
• On generalized algebraic theories and categories with families

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 Q3487614)