Categorical abstract algebraic logic: referential algebraic semantics

DOI10.1007/s11225-013-9500-9zbMath1301.03072OpenAlexW2056477860MaRDI QIDQ368473

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)

Related Items (2)

Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions

Cites Work

• A propositional logic with explicit fixed points
• Theory of logical calculi. Basic theory of consequence operations
• Algebraic logic for classical conjunction and disjunction
• A new semantics for positive modal logic
• A closer look at some subintuitionistic logics
• A survey of abstract algebraic logic
• Categorical abstract algebraic logic: Equivalent institutions
• Categorical abstract algebraic logic: Algebraizable institutions
• Institution-independent model theory
• Algebraizable logics
• Institutions: abstract model theory for specification and programming
• Belnap's Four-Valued Logic and De Morgan Lattices
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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