Pages that link to "Item:Q1317969"
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 2 (Q1317969):
Displaying 5 items.
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Embedding of a free cartesian-closed category into the category of sets (Q1380064) (← links)
- A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
- Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels (Q1923579) (← links)
