scientific article

From MaRDI portal

Publication:2752411

Jump to:navigation, search

zbMath0985.03064MaRDI QIDQ2752411

Silvia B. la Falce, Willem J. Blok

Publication date: 21 May 2002

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

zbMATH Keywords

BCK-algebras lattice of subvarieties quasivarieties congruence permutable algebraizable deductive system biresiduation algebras equivalence operation Komori identities

Mathematics Subject Classification ID

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) Axiomatic model classes (08C10)

Related Items (2)

In memory of Willem Johannes Blok 1947-2003 ⋮ On varieties of biresiduation algebras

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2752411&oldid=15617079"