17 found
Order:
  1.  75
    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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. 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  
  3. A Three-Valued Modal Tense Logic for the Master Argument.Seiki Akama, Tetsuya Murai & Sadaaki Miyamoto - 2011 - Logique Et Analyse 54 (213):19-30.
  4.  34
    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  
  5. Logic, Language and Computation.Seiki Akama & Maarten de Rijke - 2000 - Studia Logica 64 (3):415-421.
  6.  25
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  17
    Constructive Predicate Logic with Strong Negation and Model Theory.Seiki Akama - 1987 - Notre Dame Journal of Formal Logic 29 (1):18-27.
  8. 1. Infon Logic Based On Constructive Logic.Seiki Akama - 2006 - Logique Et Analyse 49.
  9. Logic, Language and Computation.Seiki Akama - 1997 - Springer.
     
    Export citation  
     
    Bookmark   1 citation  
  10.  3
    On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.
  11. Curry and Fitch on Paradox.Seiki Akama & Sadaaki Miyamoto - 2008 - Logique Et Analyse 203:271-283.
     
    Export citation  
     
    Bookmark  
  12.  18
    On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):385-392.
  13.  16
    The Gentzen-Kripke Construction of the Intermediate Logic LQ.Seiki Akama - 1991 - Notre Dame Journal of Formal Logic 33 (1):148-153.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  5
    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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Annotated Logics Qt and Ultraproducts.Jair Minoro Abe & Seiki Akama - 1997 - Logique Et Analyse 160:335-343.
  16. Constructive Discursive Logic with Strong Negation.Seiki Akama, Jair Minoro Abe & Kazumi Nakamatsu - 2011 - Logique Et Analyse 54 (215):395-408.
  17. ¸ Iteakama1997.Seiki Akama (ed.) - 1997 - Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark