scientific article; zbMATH DE number 5141220

zbMATH Open1166.03040MaRDI QIDQ3431258FDOQ3431258

Authors: George Voutsadakis 

Publication date: 10 April 2007

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

Recommendations

• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Categorical abstract algebraic logic: operators on classes of structures systems
• Categorical abstract algebraic logic: protoalgebraicity and Leibniz theory systems
• Categorical abstract algebraic logic: subdirect representation for classes of structure systems
• Categorical abstract algebraic logic: on admissible equivalence systems
• Categorical abstract algebraic logic. Full model, Frege systems and metalogical properties
• Categorical abstract algebraic logic: Algebraizable institutions

zbMATH Keywords

ultraproductstranslationsinstitutionsreduced productscategories of natural transformationscongruence systemsfirst-order languages without equality

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Ultraproducts and related constructions (03C20)

Cited In (13)

• Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• THE CANONICAL STRUCTURE AS A MINIMUM STRUCTURE
• Implicative logics, Lambek systems and exponential multicategories
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Categorical abstract algebraic logic: The largest theory system included in a theory family
• Categorical abstract algebraic logic: subdirect representation for classes of structure systems
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical abstract algebraic logic: operators on classes of structures systems
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• Categorical abstract algebraic logic: Partially ordered algebraic systems
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Title not available (Why is that?)

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