Ryo Takemura

Available identifiers

Publication	Date of Publication	Type
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams	2023-02-23	Paper
Euler Diagrams for Defeasible Reasoning	2022-12-07	Paper
Logic and majority voting	2022-04-04	Paper
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization	2021-10-29	Paper
Economic reasoning with demand and supply graphs	2020-04-22	Paper
Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms	2019-06-28	Paper
A logical investigation of heterogeneous reasoning with graphs in elementary economics	2018-08-27	Paper
Counter-example construction with Euler diagrams	2015-09-15	Paper
A diagrammatic inference system with Euler circles	2015-02-09	Paper
Logical Investigation of Reasoning with Tables	2014-09-29	Paper
Proof theory for reasoning with Euler diagrams: a logic translation and normalization	2013-08-19	Paper
A generalized syllogistic inference system based on inclusion and exclusion relations	2012-12-04	Paper
A phase semantics for polarized linear logic and second order conservativity	2010-03-15	Paper
Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus	2009-03-06	Paper
An Indexed System for Multiplicative Additive Polarized Linear Logic	2008-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4418585	2003-08-11	Paper

This page was built for person: Ryo Takemura