抄録
An investigation of relationships between Basic Propositional Calculus (BPC) and substructural logics is made with the help of a system which characterizes the implicational fragment of BPC.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 15-20 |
| ページ数 | 6 |
| ジャーナル | Bulletin of the Section of Logic |
| 巻 | 30 |
| 号 | 1 |
| 出版ステータス | Published - 2001 1月 1 |
| 外部発表 | はい |
ASJC Scopus subject areas
- 哲学
- 論理