scientific article; zbMATH DE number 1418442
From MaRDI portal
Publication:4941997
zbMath0965.03009MaRDI QIDQ4941997
Giovanni Sambin, Giulia Battilotti
Publication date: 26 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
extensionslinear logicintuitionistic logicclassical logicorthologicbasic propositional logic system B
Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC ⋮ Investigations into a left-structural right-substructural sequent calculus
This page was built for publication:
