The following pages link to N‐Categories in Logic (Q5903366):
Displaying 6 items.
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
- Elementary categorial logic, predicates of variable degree, and theory of quantity (Q1121258) (← links)
- Logic in Category Theory (Q2909761) (← links)
- On the unity of algebra and logic (Q3803296) (← links)
- (Q4513620) (← links)
- N‐Categories in Logic (Q5903593) (← links)