Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory
From MaRDI portal
Publication:5098721
DOI10.1007/978-3-030-43520-2_12OpenAlexW3013669316MaRDI QIDQ5098721
Publication date: 30 August 2022
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-43520-2_12
Related Items (2)
Fibered universal algebra for first-order logics ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relational semantics for full linear logic
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Natural duality, modality, and coalgebra
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
- Stone coalgebras
- Generalising canonical extension to the categorical setting
- Residuated lattices. An algebraic glimpse at substructural logics
- Categorical logic and type theory
- Representable cylindric algebras
- Glivenko theorems and negative translations in substructural predicate logics
- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics
- Tripos theory in retrospect
- The History of Categorical Logic: 1963–1977
- Glivenko theorems for substructural logics over FL
- Tripos theory
- Adjointness in Foundations
- Programming Languages and Systems
This page was built for publication: Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory