Categorical abstract algebraic logic: referential algebraic semantics

DOI10.1007/S11225-013-9500-9MaRDI QIDQ368473zbMATH OpenOpenAlexFDO

Authors George Voutsadakis

Publication date 23 September 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-013-9500-9

zbMATH Keywords

dualityabstract algebraic logicalgebraic semantics\(\pi \)-institutioncongruential atlas systemsfully selfextensional logicgeneralized matrix modelreferential algebraic semanticsselfextensional logicWójcicki's theorem

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract algebraic logic (03G27)

Recommendations

• Categorical abstract algebraic logic referential \(\pi\)-institutions
• Categorical abstract algebraic logic weakly referential \(\pi\)-institutions
• Referential semantics: duality and applications
• Categorical abstract algebraic logic: Equivalent institutions
• Categorical abstract algebraic logic: pseudo-referential matrix system semantics

Cites work

• scientific article; zbMATH DE number 3864486 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 3677803 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 3496154 (Why is no real title available?)
• scientific article; zbMATH DE number 2068678 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 6404009 (Why is no real title available?)
• A closer look at some subintuitionistic logics
• A new semantics for positive modal logic
• A propositional logic with explicit fixed points
• A survey of abstract algebraic logic
• Algebraic logic for classical conjunction and disjunction
• Algebraic methods in philosophical logic
• Algebraizable logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Categorical abstract algebraic logic: Algebraizable institutions
• Categorical abstract algebraic logic: Equivalent institutions
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Protoalgebraic logics
• Referential semantics: duality and applications
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(11)

• Categorical abstract algebraic logic: skywatching in semilattice systems
• Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic
• Categorical abstract algebraic logic referential \(\pi\)-institutions
• Categorical abstract algebraic logic weakly referential \(\pi\)-institutions
• Selfextensional logics in abstract algebraic logic: a brief survey
• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Referential semantics: duality and applications
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence
• Categorical abstract algebraic logic: Wójcicki's conjecture and Malinowski's theorem
• Categorical abstract algebraic logic: pseudo-referential matrix system semantics

This page was built for publication: Categorical abstract algebraic logic: referential algebraic semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q368473)