scientific article; zbMATH DE number 919549

MaRDI QIDQ4890398zbMATH OpenFDO

Authors Zinovy Diskin

Publication date 29 October 1996

zbMATH Keywords

algebraic specificationalgebraizationsinstitutions

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Categorical logic, topoi (03G30) Algebraic logic (03G99) Subalgebras, congruence relations (08A30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• Categorical abstract algebraic logic: (,N)-algebraic systems
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Algebraizable logics
• Categorical abstract algebraic logic: Equivalent institutions

Cited in

(7)

• The semantic isomorphism theorem in abstract algebraic logic
• scientific article; zbMATH DE number 4066886 (Why is no real title available?)
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• Algebraizable logics and a functorial encoding of its morphisms
• Combining specification formalisms in the `general logic' of multialgebras.
• Modal logic and algebraic specifications
• Quasi-Boolean encodings and conditionals in 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 Q4890398)