Pages that link to "Item:Q919088"
From MaRDI portal
The following pages link to On some connections between logic and category theory (Q919088):
Displaying 15 items.
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- A logic for category theory (Q685421) (← links)
- A global glance on categories in logic (Q874746) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Models of deduction (Q2500815) (← links)
- Deductive systems and categories (Q2774635) (← links)
- Logic and categories as tools for building theories (Q2851822) (← links)
- Logic in Category Theory (Q2909761) (← links)
- (Q3138536) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- A relativization mechanism in recursion categories (Q4283065) (← links)
- Some aspects of categorical logic (Q4325773) (← links)
- (Q4513620) (← links)
- Multicategories revisited (Q4735315) (← links)