Gentzen method in modal calculi

Ohnishi, Masao; Matsumoto, Kazuo

Osaka Mathematical Journal, 1957, 9(2), 113-130

アクセス数:144件（2025-08-30 08:08 集計）

固定URL: https://doi.org/10.18910/6054

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
omj09_02_01	pdf	なし	1.39 MB	551	2012.09.22

タイトル	Gentzen method in modal calculi
著者	NRID 1000070030533 1000070030533 著者名 Ohnishi, Masao
著者	著者名 Matsumoto, Kazuo
出版者	Department of Mathematics, Osaka University
収録物名	Osaka Mathematical Journal
巻(号)	9(2)
ページ	113-130
刊行年月	1957
言語	英語
ハンドルURL	https://hdl.handle.net/11094/6054
DOI	https://doi.org/10.18910/6054
PISSN	00306126
NCID	AA00765921
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	紀要論文 Departmental Bulletin Paper
カテゴリ	Osaka Mathematical Journal / Volume 9, Number 2　(1957）

資源タイプ	紀要論文
ローカル資源タイプ	紀要論文
DCMI資源タイプ	text
作成日	1957
DCTERMS.bibliographicCitation	Osaka Mathematical Journal. 1957, 9(2), p. 113-130
DC.title	Gentzen method in modal calculi
DC.creator	Ohnishi, Masao
DC.creator	Matsumoto, Kazuo
DC.publisher	Department of Mathematics, Osaka University
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	1957
DC.identifier	10.18910/6054
DC.format	6054
citation_title	Gentzen method in modal calculi
citation_author	Ohnishi, Masao
citation_author	Matsumoto, Kazuo
citation_publisher	Department of Mathematics, Osaka University
citation_language	英語
citation_date	1957
citation_journal_title	Osaka Mathematical Journal
citation_volume	9
citation_issue	2
citation_firstpage	113
citation_lastpage	130
citation_public_url	https://hdl.handle.net/11094/6054
citation_doi_detail	10.18910/6054
citation_doi	https://doi.org/10.18910/6054