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 9 items.
- Ultrasheaves and double negation (Q558435) (← links)
- Generalising canonical extension to the categorical setting (Q714727) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Model completions and r-Heyting categories (Q1372155) (← links)
- Saturated models of intuitionistic theories (Q1887664) (← 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)
- (Q4975426) (← links)
- (Q5094126) (← links)
