Decision procedure for modal sentential calculus S3

Matsumoto, Kazuo

Osaka Mathematical Journal, 1960, 12(1), 167-175

アクセス数:112件（2025-07-12 20:20 集計）

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

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
omj12_01_08	pdf	なし	860 KB	145	2012.09.22

タイトル	Decision procedure for modal sentential calculus S3
著者	著者名 Matsumoto, Kazuo
出版者	Department of Mathematics, Osaka University
収録物名	Osaka Mathematical Journal
巻(号)	12(1)
ページ	167-175
刊行年月	1960
言語	英語
ハンドルURL	https://hdl.handle.net/11094/11635
DOI	https://doi.org/10.18910/11635
PISSN	00306126
NCID	AA00765921
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	紀要論文 Departmental Bulletin Paper
カテゴリ	Osaka Mathematical Journal / Volume 12, Number 1　(1960）

資源タイプ	紀要論文
ローカル資源タイプ	紀要論文
DCMI資源タイプ	text
作成日	1960
DCTERMS.bibliographicCitation	Osaka Mathematical Journal. 1960, 12(1), p. 167-175
DC.title	Decision procedure for modal sentential calculus S3
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	1960
DC.identifier	10.18910/11635
DC.format	11635
citation_title	Decision procedure for modal sentential calculus S3
citation_author	Matsumoto, Kazuo
citation_publisher	Department of Mathematics, Osaka University
citation_language	英語
citation_date	1960
citation_journal_title	Osaka Mathematical Journal
citation_volume	12
citation_issue	1
citation_firstpage	167
citation_lastpage	175
citation_public_url	https://hdl.handle.net/11094/11635
citation_doi_detail	10.18910/11635
citation_doi	https://doi.org/10.18910/11635