科学哲学
Online ISSN : 1883-6461
Print ISSN : 0289-3428
ISSN-L : 0289-3428
若干の双様相系の構成
石本 新藤川 吉美
著者情報
ジャーナル フリー

1969 年 2 巻 p. 5-17

詳細
抄録
In this paper some bi-modal systems involving two kinds of modal operators are constructed in Gentzen-type formulations with the proof of the " Hauptsatz " for some of these systems.
著者関連情報
© 日本科学哲学会
次の記事
feedback
Top