1. Koji Mineshima, Mitsuhiro Okada & Ryo Takemura (2012). A Diagrammatic Inference System with Euler Circles. Journal of Logic, Language and Information 21 (3):365-391.
    Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  2. Koji Mineshima, Mitsuhiro Okada & Ryo Takemura (2012). A Generalized Syllogistic Inference System Based on Inclusion and Exclusion Relations. Studia Logica 100 (4):753-785.
    We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Koji Mineshima (2008). A Presuppositional Analysis of Definite Descriptions in Proof Theory. In. In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. 214--227.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation