The following pages link to (Q3705457):
Displayed 14 items.
- Generalized sketches as a framework for completeness theorems. I-III (Q674480) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Descent and duality (Q1345009) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- On Gabbay's proof of the Craig interpolation theorem for intuitionistic predicate logic (Q1906666) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- (Q2719722) (← links)
- Generalized Ultraproduct and Kirman-Sondermann Correspondence for Vote Abstention (Q3457684) (← links)
- Some Results on Locally Finitely Presentable Categories (Q4723928) (← links)
- (Q4975426) (← links)
- A characterisation of the category of compact Hausdorff spaces (Q5137920) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)