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 language | English |
|---|---|
| Pages (from-to) | 15-20 |
| Number of pages | 6 |
| Journal | Bulletin of the Section of Logic |
| Volume | 30 |
| Issue number | 1 |
| Publication status | Published - 2001 |