Ken Akiba

Publication Activity (10 Years)

Years Active: 1996-2017
Publications (10 Years): 2

Top Topics

Advanced Research Projects Agency

Automated Deduction

Denotational Semantics

Top Venues

J. Philos. Log.

Publications

Ken Akiba
A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach. J. Philos. Log. 46 (4) (2017)
Ken Akiba
Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory. CL&C (2016)
Ken Akiba
A defense of indeterminate distinctness. Synth. 191 (15) (2014)
Ken Akiba
A New Theory of Quantifiers and Term Connectives. J. Log. Lang. Inf. 18 (3) (2009)
Luca Moretti, Ken Akiba
Probabilistic Measures of Coherence and the Problem of Belief Individuation. Synth. 154 (1) (2007)
Ken Akiba
Nominalistic metalogic. J. Philos. Log. 27 (1) (1998)
Ken Akiba
Field on the Notion of Consistency. Notre Dame J. Formal Log. 37 (4) (1996)