Categorical abstract algebraic logic: referential algebraic semantics

DOI10.1007/S11225-013-9500-9zbMATH Open1301.03072OpenAlexW2056477860MaRDI QIDQ368473FDOQ368473

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

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

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)

Cites Work

• Theory of logical calculi. Basic theory of consequence operations
• Institution-independent model theory
• Algebraic methods in philosophical logic
• Title not available (Why is that?)
• Institutions: abstract model theory for specification and programming
• A propositional logic with explicit fixed points
• A new semantics for positive modal logic
• A survey of abstract algebraic logic
• Algebraizable logics
• Title not available (Why is that?)
• Protoalgebraic logics
• Algebraic logic for classical conjunction and disjunction
• A closer look at some subintuitionistic logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Title not available (Why is that?)
• Categorical abstract algebraic logic: Equivalent institutions
• Title not available (Why is that?)
• Categorical abstract algebraic logic: Algebraizable institutions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Referential semantics: duality and applications

Cited In (11)

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

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)