The following pages link to Daichi Hayashi (Q2144189):
Displaying 5 items.
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- (Q5149138) (← links)
- Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$ (Q6529753) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)
- Axiomatic theories of supervaluational truth: completing the picture (Q6749084) (← links)
