The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 2
From MaRDI portal
Publication:1317969
DOI10.1305/ndjfl/1093633902zbMath0808.03050OpenAlexW2002346383MaRDI QIDQ1317969
Publication date: 24 April 1994
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093633902
completenessintuitionistic predicate logicfibered categoriesfunctorial semanticscategory of sets- equipped-with-a-permutation
Categorical logic, topoi (03G30) Fibered categories (18D30) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Related Items
On the semantics of the universal quantifier, Embedding of a free cartesian-closed category into the category of sets, Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels, Structural induction and coinduction in a fibrational setting, A characterization of the left exact categories whose exact completions are toposes
