The following pages link to (Q3754790):
Displaying 9 items.
- \(\mathbb{T}\)-motives (Q515876) (← links)
- Yoneda structures and KZ doctrines (Q684097) (← links)
- The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (Q1959491) (← links)
- A co-free construction for elementary doctrines (Q2254598) (← links)
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION (Q3679177) (← links)
- (Q4500396) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- (Q5155115) (← links)
- A logic for categories (Q5200283) (← links)