scientific article; zbMATH DE number 2145279

MaRDI QIDQ4657630zbMATH OpenFDO

Authors George Voutsadakis

Publication date 14 March 2005

zbMATH Keywords

algebraic logicalgebraic theoriesalgebraizable institutionsalgebraizable logicscylindric algebrasfirst-order logicpolyadic algebrasvarieties

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Recommendations

• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• scientific article; zbMATH DE number 2113457
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic

Cited in

(7)

• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Categoricity of finitely generated algebraic systems in HF-logic
• scientific article; zbMATH DE number 5005365 (Why is no real title available?)
• scientific article; zbMATH DE number 2113457 (Why is no real title available?)
• Categorical abstract algebraic logic: (,N)-algebraic systems
• Categorical abstract algebraic logic: models of -institutions
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

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