文書・図像類

Semantical cut-elimination for the provability logic of true arithmetic

Icons representing 文書・図像類

Semantical cut-elimination for the provability logic of true arithmetic

Material type
文書・図像類
Author
鹿島, 亮ほか
Publisher
-
Publication date
2023-09
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General)：

identifier:oai:t2r2.star.titech.ac.jp:50693075

Search by Bookstore

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • Tokyo Tech Research Repository

    Paper
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
    Tokyo Tech Research Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
文書・図像類
Title
Semantical cut-elimination for the provability logic of true arithmetic
Author/Editor
鹿島, 亮
KASHIMA, RYO
加藤, 裕
Kato, Yutaka
Author Heading
鹿島, 亮
KASHIMA, RYO
加藤, 裕
Kato, Yutaka
Publication Date
2023-09
Publication Date (W3CDTF)
2023-09
Periodical title
arXiv
Text Language Code
eng
Target Audience
一般
Note (General)
identifier:oai:t2r2.star.titech.ac.jp:50693075