On the finite embeddability property for residuated lattices, pocrims and BCK-algebras (Q2752417)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the finite embeddability property for residuated lattices, pocrims and BCK-algebras |
scientific article; zbMATH DE number 1660932
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the finite embeddability property for residuated lattices, pocrims and BCK-algebras |
scientific article; zbMATH DE number 1660932 |
Statements
25 March 2002
0 references
quasivariety
0 references
finite embeddability property
0 references
strong finite model property
0 references
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras (English)
0 references
Extended abstract of a forthcoming paper, part of which was presented at the Workshop on Algebra and Substructural Logic, held at Japan Advanced Institute of Science and Technology, 10-17 November 1999.
0 references
