Relationships between basic propositional calculus and substructural logics

研究成果: Article査読

3 被引用数 (Scopus)

抄録

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

  • 哲学
  • 論理

フィンガープリント

「Relationships between basic propositional calculus and substructural logics」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル