Pages that link to "Item:Q3166619"
From MaRDI portal
The following pages link to The History of Categorical Logic: 1963–1977 (Q3166619):
Displayed 6 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Polyadic spaces and profinite monoids (Q2695361) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← 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)