15 found
Order:
  1.  36
    Constructive predicate logic with strong negation and model theory.Seiki Akama - 1987 - Notre Dame Journal of Formal Logic 29 (1):18-27.
  2.  16
    (1 other version)On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.
  3.  54
    Three-Valued Temporal Logic Q t and Future Contingents.Seiki Akama, Yasunori Nagata & Chikatoshi Yamada - 2008 - Studia Logica 88 (2):215-231.
    Prior's three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic $Q_t $ and give its axiomatization and semantics. We also argue that $Q_t $ provides a smooth solution to the problem of future contingents.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. A three-valued temporal logic for future contingents.Seiki Akama, Yasunori Nagata & Chikatoshi Yamada - 2007 - Logique Et Analyse 198:99-111.
     
    Export citation  
     
    Bookmark   3 citations  
  5.  50
    Subformula semantics for strong negation systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
    We present a semantics for strong negation systems on the basis of the subformula property of the sequent calculus. The new models, called subformula models, are constructed as a special class of canonical Kripke models for providing the way from the cut-elimination theorem to model-theoretic results. This semantics is more intuitive than the standard Kripke semantics for strong negation systems.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  69
    Partial and paraconsistent approaches to future contingents in tense logic.Seiki Akama, Tetsuya Murai & Yasuo Kudo - 2016 - Synthese 193 (11).
    The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Annotated logics Qt and ultraproducts.Jair Minoro Abe & Seiki Akama - 1997 - Logique Et Analyse 160:335-343.
  8. A three-valued modal tense logic for the Master Argument.Seiki Akama, Tetsuya Murai & Sadaaki Miyamoto - 2011 - Logique Et Analyse 54 (213):19-30.
  9. Curry and Fitch on Paradox.Seiki Akama & Sadaaki Miyamoto - 2008 - Logique Et Analyse 203:271-283.
     
    Export citation  
     
    Bookmark  
  10. Constructive discursive logic with strong negation.Seiki Akama, Jair Minoro Abe & Kazumi Nakamatsu - 2011 - Logique Et Analyse 54 (215):395-408.
  11. ¸ Iteakama1997.Seiki Akama (ed.) - 1997 - Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  12. 1. Infon Logic Based On Constructive Logic.Seiki Akama - 2006 - Logique Et Analyse 49.
  13.  10
    Logic, Language and Computation.Seiki Akama (ed.) - 1997 - Dordrecht, Netherland: Springer.
    The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  31
    Nelson's paraconsistent logics.Seiki Akama - 1999 - Logic and Logical Philosophy 7:101.
    David Nelson’s constructive logics with strong negation may beviewed as alternative paraconsistent logic. These logics have been developedbefore da Costa’s works. We address some philosophical aspects of Nelson’slogics and give technical results concerning Kripke models and tableau calculi. We also suggest possible applications of paraconsistent constructivelogics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  45
    The Gentzen-Kripke construction of the intermediate logic LQ.Seiki Akama - 1991 - Notre Dame Journal of Formal Logic 33 (1):148-153.