Pages that link to "Item:Q1115868"
From MaRDI portal
The following pages link to Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868):
Displaying 15 items.
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- Ultrasheaves and double negation (Q558435) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- Quasitopoi, logic and Heyting-valued models (Q1078653) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Infinitary first-order categorical logic (Q1625589) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← links)
- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics (Q2849433) (← links)
- Intuitionistic completeness for first order classical logic (Q4254637) (← links)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- A property of effectivization and its uses in categorical logic (Q4975426) (← links)
- (Q5094126) (← links)
