scientific article; zbMATH DE number 4158915

zbMATH Open0706.18004MaRDI QIDQ3487614FDOQ3487614

Authors: Vladimir Yu. Sazonov 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Title not available (Why is that?)
• Algebraic theories and their models
• Title not available (Why is that?)
• WHEN IS A CATEGORY OF MANY-SORTED ALGEBRAS CARTESIAN CLOSED?

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)