Katsumasa Ishii

Available identifiers

Publication	Date of Publication	Type
On harrop disjunction property in intermediate predicate logics	2024-04-16	Paper
A Sufficient Condition for a Prime to be a Sophie Germain Prime	2024-02-08	Paper
A note on decidability of variables in intuitionistic propositional logic	2020-05-11	Paper
A proof of the leftmost reduction theorem for \(\lambda\beta\eta\)-calculus	2018-09-24	Paper
On the expontential {D}iophantine equation {\((a^n-1)(b^n-1)=x^2\)}	2017-08-25	Paper
On the divisibility of the class number of imaginary quadratic fields	2012-03-07	Paper
New sequent calculi for Visser's Formal Propositional Logic	2003-11-10	Paper
Sequent calculi for Visser's propositional logics	2003-10-13	Paper
A note on the first incompleteness theorem	2003-04-10	Paper

This page was built for person: Katsumasa Ishii