Publication:4943158
From MaRDI portal
zbMath0946.03027MaRDI QIDQ4943158
Clint J. van Alten, James G. Raftery
Publication date: 26 October 2000
algebraic semantics; intuitionistic logic; separation property; axiomatic extensions; superimplicational fragments
06F35: BCK-algebras, BCI-algebras
03G25: Other algebras related to logic
08C15: Quasivarieties
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
On the finite embeddability property for residuated ordered groupoids, Cut elimination and strong separation for substructural logics: an algebraic approach, Representable biresiduated lattices