scientific article; zbMATH DE number 1222494

zbMath0920.03012MaRDI QIDQ4218025

R. A. Bull

Publication date: 9 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

contractionsequent calculusproof theorysubstructural logicrelevant logicsemilattice semanticscontractionless semilattice logicsimplication-negation fragment of R-W

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: