First-order logical duality
From MaRDI portal
Publication:1935870
DOI10.1016/j.apal.2012.10.016zbMath1275.03169arXiv1008.3145OpenAlexW2144927799MaRDI QIDQ1935870
Henrik Forssell, Steven Awodey
Publication date: 19 February 2013
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1008.3145
Categorical logic, topoi (03G30) Topoi (18B25) Classical first-order logic (03B10) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50)
Related Items (11)
Infinitary first-order categorical logic ⋮ RECONSTRUCTION OF NON--CATEGORICAL THEORIES ⋮ Duality as a category-theoretic concept ⋮ The universal theory of first order algebras and various reducts ⋮ A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE ⋮ Carnap and the invariance of logical truth ⋮ Contextuality and noncommutative geometry in quantum mechanics ⋮ Algebraic Representation, Dualities and Beyond ⋮ Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔} ⋮ Sheaf Representations and Duality in Logic ⋮ Why Not Categorical Equivalence?
This page was built for publication: First-order logical duality