Katsumasa Ishii

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 4

Top Topics

Propositional Logic

First Order Logic

Efficiently Computable

Top Venues

Arch. Math. Log.

Theor. Comput. Sci.

Publications

Katsumasa Ishii
A Sufficient Condition for a Prime to be a Sophie Germain Prime. Am. Math. Mon. 131 (2) (2024)
Katsumasa Ishii
On Harrop disjunction property in intermediate predicate logics. Arch. Math. Log. 63 (3-4) (2024)
Katsumasa Ishii
-calculus. Theor. Comput. Sci. 747 (2018)
Katsumasa Ishii
A note on decidability of variables in intuitionistic propositional logic. Math. Log. Q. 64 (3) (2018)
Katsumasa Ishii
A note on the first incompleteness theorem. Math. Log. Q. 49 (2) (2003)
Katsumasa Ishii
New sequent calculi for Visser's Formal Propositional Logic. Math. Log. Q. 49 (5) (2003)
Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi
Sequent Calculi for Visser's Propositional Logics. Notre Dame J. Formal Log. 42 (1) (2001)