• Provability and interpretability logics - ResearchGate

    www.researchgate.net/.../255660413_Provability_and_interpretability_logics Publication » Provability and interpretability logics. ... Here, we show some cut-free sequent systems for provability and interpretability logics.
  • Logics for Provability and Interpretability - ResearchGate

    www.researchgate.net/.../46630316_Logics_for_Provability_and_Interpretability Provability and interpretability logics. Katsumi Sasaki. Provability and interpretability in theories containing arithmetic. Per Lindström. Data provided are for ...
  • Provability and interpretability logics - Nanzan University

    www.seto.nanzan-u.ac.jp/~sasaki/021103/021103.pdf Provability and interpretability logics Katsumi Sasaki Department of Mathematical Sciences, Nanzan University e-mail: sasaki@ms.nanzan-u.ac.jp in SYMPOSIUM ON ...