Relationships between basic propositional calculus and substructural logics

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)15-20
Number of pages6
JournalBulletin of the Section of Logic
Volume30
Issue number1
Publication statusPublished - 2001 Jan 1
Externally publishedYes

ASJC Scopus subject areas

  • Philosophy
  • Logic

Fingerprint Dive into the research topics of 'Relationships between basic propositional calculus and substructural logics'. Together they form a unique fingerprint.

  • Cite this