The following pages link to Deductive systems and categories (Q2774635):
Displaying 6 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- On some connections between logic and category theory (Q919088) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- (Q3781064) (← links)
- (Q4331757) (← links)
- Minimal Categorical System and Predication Theory In Porphyry (Q5365408) (← links)