Ryo Takemura

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams Diagrammatic Representation and Inference	2023-02-23	Paper
Euler Diagrams for Defeasible Reasoning 1514.03033	2022-12-07	Paper
Logic and majority voting Journal of Philosophical Logic	2022-04-04	Paper
Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization Archive for Mathematical Logic	2021-10-29	Paper
Economic reasoning with demand and supply graphs Mathematical Social Sciences	2020-04-22	Paper
Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms Journal of Philosophical Logic	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 Studia Logica	2015-09-15	Paper
A diagrammatic inference system with Euler circles Journal of Logic, Language and Information	2015-02-09	Paper
Logical investigation of reasoning with tables Diagrammatic Representation and Inference	2014-09-29	Paper
Proof theory for reasoning with Euler diagrams: a logic translation and normalization Studia Logica	2013-08-19	Paper
A generalized syllogistic inference system based on inclusion and exclusion relations Studia Logica	2012-12-04	Paper
A phase semantics for polarized linear logic and second order conservativity Journal of Symbolic Logic	2010-03-15	Paper
Remarks on Semantic Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic λ-Calculus Rewriting, Computation and Proof	2009-03-06	Paper
An Indexed System for Multiplicative Additive Polarized Linear Logic Computer Science Logic	2008-11-20	Paper
scientific article; zbMATH DE number 1962755 (Why is no real title available?)	2003-08-11	Paper

Research outcomes over time

This page was built for person: Ryo Takemura