Categorical abstract algebraic logic: referential algebraic semantics
From MaRDI portal
Publication:368473
DOI10.1007/s11225-013-9500-9zbMath1301.03072OpenAlexW2056477860MaRDI QIDQ368473
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
dualityabstract algebraic logicalgebraic semantics\(\pi \)-institutioncongruential atlas systemsfully selfextensional logicgeneralized matrix modelreferential algebraic semanticsselfextensional logicWójcicki's theorem
Related Items
Categorical Abstract Algebraic Logic: Pseudo-Referential Matrix System Semantics ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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