Pages that link to "Item:Q2848474"
From MaRDI portal
The following pages link to Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL (Q2848474):
Displaying 6 items.
- Singular propositions, negation and the square of opposition (Q346761) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Heterogeneous Reasoning and Its Logic (Q4678935) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)