The following pages link to Ryo Takemura (Q361867):
Displaying 15 items.
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- Counter-example construction with Euler diagrams (Q495828) (← links)
- A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
- A logical investigation of heterogeneous reasoning with graphs in elementary economics (Q1664370) (← links)
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms (Q2000674) (← links)
- Logic and majority voting (Q2121481) (← links)
- Economic reasoning with demand and supply graphs (Q2173168) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- A diagrammatic inference system with Euler circles (Q2255200) (← links)
- Logical Investigation of Reasoning with Tables (Q2920985) (← links)
- An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184) (← links)
- Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus (Q3608816) (← links)
- (Q4418585) (← links)
- A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)
