Pages that link to "Item:Q1317983"
From MaRDI portal
The following pages link to The fibrational formulation of intuitionistic predicate logic. I: Completeness according to Gödel, Kripke, and Läuchli. Part 1 (Q1317983):
Displaying 8 items.
- Läuchli's completeness theorem from a topos-theoretic perspective (Q969688) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
- Homotopies in Grothendieck fibrations (Q3305548) (← links)
- Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi (Q4882489) (← links)
- Deductive Completeness (Q5689262) (← links)
- Abstract categorical logic (Q6043096) (← links)
