scientific article; zbMATH DE number 1415870
From MaRDI portal
Publication:4943158
zbMath0946.03027MaRDI QIDQ4943158
Clint J. van Alten, James G. Raftery
Publication date: 26 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticsintuitionistic logicseparation propertyaxiomatic extensionssuperimplicational fragments
BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Quasivarieties (08C15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Representable biresiduated lattices ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ On the finite embeddability property for residuated ordered groupoids
This page was built for publication: