Ken Akiba

Orcid: 0000-0002-3728-4639

According to our database¹, Ken Akiba authored at least 7 papers between 1996 and 2017.

Collaborative distances:

Dijkstra number² of six.
Erdős number³ of six.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2017

A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach.

[BibT_eX]

[DOI]

Ken Akiba

J. Philos. Log., 2017

2016

Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory.

[BibT_eX]

[DOI]

Ken Akiba

Proceedings of the Proceedings Sixth International Workshop on Classical Logic and Computation, 2016

2014

A defense of indeterminate distinctness.

[BibT_eX]

[DOI]

Ken Akiba

Synth., 2014

2009

A New Theory of Quantifiers and Term Connectives.

[BibT_eX]

[DOI]

Ken Akiba

J. Log. Lang. Inf., 2009

2007

Probabilistic Measures of Coherence and the Problem of Belief Individuation.

[BibT_eX]

[DOI]

Luca Moretti

Ken Akiba

Synth., 2007

1998

Nominalistic metalogic.

[BibT_eX]

[DOI]

Ken Akiba

J. Philos. Log., 1998

1996

Field on the Notion of Consistency.

[BibT_eX]

[DOI]

Ken Akiba

Notre Dame J. Formal Log., 1996

Ken Akiba

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...