7 citations · 11 across the 8 of their papers we have counts for
8 papers
Natural Language Translation of Formal Proofs through Informalization of Proof Steps and Recursive Summarization along Proof Structure
Seiji Hattori, Takuya Matsuzaki, Makoto Fujiwara
This paper proposes a natural language translation method for machine-verifiable formal proofs that leverages the informalization (verbalization of formal language proof steps) and…
Hierarchical formula classes with respect to semi-classical prenex normalization
Makoto Fujiwara, Taishi Kurahashi
In [10], the authors formalized the standard transformation procedure for prenex normalization of first-order formulas and showed that the classes and …
Prenex normalization and the hierarchical classification of formulas
Makoto Fujiwara, Taishi Kurahashi
Akama et al. [1] introduced a hierarchical classification of first-order formulas for a hierarchical prenex normal form theorem in semi-classical arithmetic. In this paper, we give…
Conservation theorems on semi-classical arithmetic
Makoto Fujiwara, Taishi Kurahashi
We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic and intuitionistic arithmetic $\math…
Refining the arithmetical hierarchy of classical principles
Makoto Fujiwara, Taishi Kurahashi
We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly…
Prenex normal form theorems in semi-classical arithmetic
Makoto Fujiwara, Taishi Kurahashi
Akama et al. systematically studied an arithmetical hierarchy of the law of excluded middle and related principles in the context of first-order arithmetic. In that paper, they fir…