Source author record

Taishi Kurahashi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

5works

1topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Conservation theorems on semi-classical arithmetic

We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf{PA}$ and intuitionistic arithmetic $\mathsf{HA}$ . Using a generalized negative translation, we first provide a new structured proof of the fact that $\mathsf{PA}$ is $Π_{k+2}$ -conservative over $\mathsf{HA} + Σ_k\text{-}\mathrm{LEM}$ where $Σ_k\text{-}\mathrm{LEM}$ is the axiom scheme of the law-of-excluded-middle restricted to formulas in $Σ_k$ . In addition, we show that this conservation theorem is optimal in the sense that for any semi-classical arithmetic $T$ , if $\mathsf{PA}$ is $Π_{k+2}$ -conservative over $T$ , then $T$ proves $Σ_k\text{-}\mathrm{LEM}$ . In the same manner, we also characterize conservation theorems for other well-studied classes of formulas by fragments of classical axioms or rules. This reveals the entire structure of conservation theorems with respect to the arithmetical hierarchy of classical principles.

preprint2022arXiv

On Guaspari's problem about partially conservative sentences

We investigate sentences which are simultaneously partially conservative over several theories. First, we generalize Bennet's results on this topic to the case of more than two theories. In particular, for any finite family $\{T_i\}_{i \leq k}$ of consistent r.e. extensions of Peano Arithmetic, we give a necessary and sufficient condition for the existence of a $Π_n$ sentence which is unprovable in $T_i$ and $Σ_n$ -conservative over $T_i$ for all $i \leq k$ . Secondly, we prove that for any finite family of such theories, there exists a $Σ_n$ sentence which is simultaneously unprovable and $Π_n$ -conservative over each of these theories. This constitutes a positive solution to a particular case of Guaspari's problem. Finally, we demonstrate several non-implications among related properties of families of theories.

preprint2022arXiv

Refining the arithmetical hierarchy of classical principles

We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded middle, de Morgan's law, the double negation elimination, the collection principle and the constant domain axiom.

preprint2020arXiv

The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$

We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic $\mathbf{IL}$ . We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property.

preprint2020arXiv

Uniform Lyndon interpolation property in propositional modal logics

We introduce and investigate the notion of uniform Lyndon interpolation property (ULIP) which is a strengthening of both uniform interpolation property and Lyndon interpolation property. We prove several propositional modal logics including ${\bf K}$ , ${\bf KB}$ , ${\bf GL}$ and ${\bf Grz}$ enjoy ULIP. Our proofs are modifications of Visser's proofs of uniform interpolation property using layered bisimulations. Also we give a new upper bound on the complexity of uniform interpolants for ${\bf GL}$ and ${\bf Grz}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Taishi Kurahashi

Research overview

Is this your work?

5 publications

Conservation theorems on semi-classical arithmetic

On Guaspari's problem about partially conservative sentences

Refining the arithmetical hierarchy of classical principles

The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$

Uniform Lyndon interpolation property in propositional modal logics

See the researcher in context

Building this map preview

Taishi Kurahashi

Research overview

Is this your work?

5 publications

Conservation theorems on semi-classical arithmetic

On Guaspari's problem about partially conservative sentences

Refining the arithmetical hierarchy of classical principles

The fixed point and the Craig interpolation properties for sublogics of IL\mathbf{IL}IL

Uniform Lyndon interpolation property in propositional modal logics

See the researcher in context

Building this map preview

The fixed point and the Craig interpolation properties for sublogics of $\mathbf{IL}$