16 found
Order:
  1. Some New Results on PCL1 and its Related Systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.
    In [Waragai & Shidori, 2007], a system of paraconsistent logic called PCL1, which takes a similar approach to that of da Costa, is proposed. The present paper gives further results on this system and its related systems. Those results include the concrete condition to enrich the system PCL1 with the classical negation, a comparison of the concrete notion of “behaving classically” given by da Costa and by Waragai and Shidori, and a characterisation of the notion of “behaving classically” given by (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  2.  22
    Ontology as a Natural Extension of Predicate Calculus with Identity Equipped with Description.Toshiharu Waragai - 1990 - Annals of the Japan Association for Philosophy of Science 7 (5):23-40.
  3.  15
    A System of Ontology Based on Identity and Partial Ordering as an Adequate Logical Apparatus for Describing Taxonomical Structures of Concepts.Toshiharu Waragai & Keiichi Oyamada - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):123-149.
  4.  87
    On Béziau’s Logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
    In [1] Béziau developed the paraconsistent logic Z, which is definitionally equivalent to the modal logic S5, and gave an axiomatization of the logic Z: the system HZ. In the present paper, we prove that some axioms of HZ are not independent and then propose another axiomatization of Z. We also discuss a new perspective on the relation between S5 and classical propositional logic with the help of the new axiomatization of Z. Then we conclude the paper by making a (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  5.  17
    Ontological Burden of Grammatical Categories.Toshiharu Waragai - 1979 - Annals of the Japan Association for Philosophy of Science 5 (4):185-205.
  6.  3
    Ontology as a Logical System of IS-A Relation.Toshiharu Waragai - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:448-460.
  7.  11
    A System of Paraconsistent Logic Equipped with Classical Negation.Toshiharu Waragai & Hitoshi Omori - 2009 - Journal of the Japan Association for Philosophy of Science 36 (1):9-18.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  25
    A Note on Majkić's Systems.Hitoshi Omori & Toshiharu Waragai - 2010 - Notre Dame Journal of Formal Logic 51 (4):503-506.
    The present note offers a proof that systems developed by Majkić are actually extensions of intuitionistic logic, and therefore not paraconsistent.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  11
    Ontology Based on Non-Reflexive Identity and Product Name Functor.Toshiharu Waragai - 1987 - Annals of the Japan Association for Philosophy of Science 7 (2):73-84.
  10.  20
    IS-A Relation, the Principle of Comprehension and the Doctrine of Limitation of Size.Toshiharu Waragai - 1996 - Annals of the Japan Association for Philosophy of Science 9 (1):23-34.
  11.  12
    The Ontological Law of Contradiction and Its Logical Structure.Toshiharu Waragai - 1981 - Annals of the Japan Association for Philosophy of Science 6 (1):43-58.
  12.  16
    Events and Higher-Order Ontology.Toshiharu Waragai - 1993 - Annals of the Japan Association for Philosophy of Science 8 (3):163-173.
  13.  7
    A System of Ontology Based on the Three Principles Concerning Predications and Singularity of Names.Toshiharu Waragai & Keiichi Oyamada - 2011 - Journal of the Japan Association for Philosophy of Science 39 (1):31-43.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  5
    On Extensions of a System of Paraconsistent Logic PCL1.Hitoshi Omori & Toshiharu Waragai - 2012 - Journal of the Japan Association for Philosophy of Science 39 (2):51-68.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  6
    On Some Essential Subsystems of Leśniewski's Ontology and the Equivalence Between the Singular Barbara and the Law of Leibniz in Ontology.Toshiharu Waragai - 1998 - In Katarzyna Kijania-Placek & Jan Woleński (eds.), The Lvov-Warsaw School and Contemporary Philosophy. Kluwer Academic Publishers. pp. 169--180.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  3
    Set Theory and Lesniewski's Ontology.Masanao Ozawa & Toshiharu Waragai - 1985 - Annals of the Japan Association for Philosophy of Science 6 (5):261-272.