Works by Kazumi Nakamatsu

( view other items matching `Kazumi Nakamatsu`, view all matches )
Order:
  1. Constructive discursive logic with strong negation.Seiki Akama, Jair Minoro Abe & Kazumi Nakamatsu - 2011 - Logique Et Analyse 54 (215):395-408.
     
    Export citation  
     
    Bookmark  
  2. List of participants 17 Robert K. Meyer (Camberra, Australia) Barbara Morawska (Gdansk, Poland) Daniele Mundici (Milan, Italy).Kazumi Nakamatsu, Marek Nasieniewski, Volodymyr Navrotskiy, Sergey Pavlovich Odintsov, Carlos Oiler, Mieczyslaw Omyla, Hiroakira Ono, Ewa Orlowska, Katarzyna Palasihska & Francesco Paoli - 2001 - Logic and Logical Philosophy 7:16.
    No categories
     
    Export citation  
     
    Bookmark  
  3.  20
    On the relation between vector annotated logic programs and defeasible theories.Kazumi Nakamatsu - 2000 - Logic and Logical Philosophy 8:181.
    In this paper, we propose an annotated logic program called aVALPSN to dealwith defeasible reasoning. We propose a translation from Billington’s defeasible theory into VALPSN and clarify the relation between them based onthe translation.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark