The following pages link to (Q4588560):
Displaying 5 items.
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Reasoning with sentences and diagrams (Q1333317) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- (Q4888736) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)