scientific article
From MaRDI portal
Publication:2752417
zbMath0982.08500MaRDI QIDQ2752417
Willem J. Blok, Clint J. van Alten
Publication date: 25 March 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BCK-algebras, BCI-algebras (06F35) Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Quasivarieties (08C15)
Related Items
Characteristic formulas of partial Heyting algebras ⋮ The FEP for some varieties of fully distributive knotted residuated lattices ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Characteristic inference rules