The finite embeddability property for residuated lattices, pocrims and BCK-algebras

• 1 October 2002
• journal article
• research article
• Published by Springer Nature in Algebra universalis
• Vol. 48  (3) , 253-271
• https://doi.org/10.1007/s000120200000

Abstract

Keywords

• 2000 MATHEMATICS SUBJECT CLASSIFICATION: 06F05
• 03B47
• 06F35
• 08C15
• 08A50.¶KEY WORDS AND PHRASES: FINITE EMBEDDABILITY PROPERTY
• FINITE MODEL PROPERTY
• LINEAR LOGIC
• INTUITIONISTIC LINEAR ALGEBRA
• RESIDUATED LATTICE
• POCRIM
• BCK-ALGEBRA
• WELL-QUASI-ORDER.