Läuchli's completeness theorem from a topos-theoretic perspective

DOI10.1007/s10485-008-9124-9zbMath1211.03103OpenAlexW2056936739MaRDI QIDQ969688

Matias Menni

Publication date: 7 May 2010

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-008-9124-9

zbMATH Keywords

intuitionistic logictopos theoryintuitionistic predicate calculusLäuchli's completeness theorem

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cocomplete toposes whose exact completions are toposes
• Sheaves in geometry and logic: a first introduction to topos theory
• The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1
• Some free constructions in realizability and proof theory
• Linear Läuchli semantics
• Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels
• Lambek's categorical proof theory and Läuchli's abstract realizability

This page was built for publication: Läuchli's completeness theorem from a topos-theoretic perspective