Pages that link to "Item:Q2849433"
From MaRDI portal
The following pages link to Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics (Q2849433):
Displaying 7 items.
- Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
- HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION (Q3679177) (← links)
- Partial hyperdoctrines: categorical models for partial function logic and Hoare logic (Q4302334) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky (Q6612778) (← links)
