Katsumasa Ishii

According to our database1, Katsumasa Ishii authored at least 7 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

2005
2010
2015
2020
0
1
2
3
2
2
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On Harrop disjunction property in intermediate predicate logics.
Arch. Math. Log., May, 2024

A Sufficient Condition for a Prime to be a Sophie Germain Prime.
Am. Math. Mon., 2024

2018
A proof of the leftmost reduction theorem for <i>λβη</i>-calculus.
Theor. Comput. Sci., 2018

A note on decidability of variables in intuitionistic propositional logic.
Math. Log. Q., 2018

2003
New sequent calculi for Visser's Formal Propositional Logic.
Math. Log. Q., 2003

A note on the first incompleteness theorem.
Math. Log. Q., 2003

2001
Sequent Calculi for Visser's Propositional Logics.
Notre Dame J. Formal Log., 2001


  Loading...