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.
|Number of pages||6|
|Journal||Bulletin of the Section of Logic|
|Publication status||Published - 2001 Jan 1|
ASJC Scopus subject areas