Seiki Akama (akama)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Abe, Jair Minoro and Akama, Seiki. 1997. “Annotated Logics Qt and Ultraproducts.” Logique et Analyse 40(160): 335–343.
Akama, Seiki. 1987. “Resolution in Constructivism.” Logique et Analyse 30(120): 385–399.
Akama, Seiki. 1988a. “Constructive Predicate Logic with Strong Negation and Model Theory.” Notre Dame Journal of Formal Logic 29(1): 18–27.
Akama, Seiki. 1988b. “On the Proof Method for Constructive Falsity.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34: 385–392.
Akama, Seiki. 1990. “Subformula Semantics for Strong Negation Systems.” The Journal of Philosophical Logic 19(2): 217–226.
Akama, Seiki. 1996. “Curry’s Paradox in Contractionless Constructive Logic.” The Journal of Philosophical Logic 25(2): 135–150.
Akama, Seiki, ed. 1997a. Logic, Language, and Computation. Dordrecht: Kluwer Academic Publishers.
Akama, Seiki. 1997b. “Recent Issues in Logic, Language and Computation.” in Logic, Language, and Computation, edited by Seiki Akama, pp. 1–26. Dordrecht: Kluwer Academic Publishers.
Akama, Seiki. 1997c. “On Constructive Modality.” in Logic, Language, and Computation, edited by Seiki Akama, pp. 143–158. Dordrecht: Kluwer Academic Publishers.
Akama, Seiki, Abe, Jair Minoro and Nakamatsu, Kazumi. 2011. “Constructive Discursive Logic with Strong Negation.” Logique et Analyse 54(215): 395–408.
Akama, Seiki and Miyamoto, Sadaaki. 2008. “Curry and Fitch on Paradox.” Logique et Analyse 51(203): 271–283.
Akama, Seiki, Murai, Tetsuya and Kudo, Yasuo. 2016. “Partial and Paraconsistent Approaches to Future Contingents in Tense Logic.” Synthese 193(11): 3639–3649.
Akama, Seiki, Murai, Tetsuya and Miyamoto, Sadaaki. 2011. “A Three-Valued Modal Tense Logic for the Master Argument.” Logique et Analyse 54(213): 19–30.
Akama, Seiki and Nagata, Yasunori. 2006. “Infon Logic Based on Constructive Logic.” Logique et Analyse 49(194): 119–136.