scientific article
From MaRDI portal
Publication:3937396
zbMath0481.03043MaRDI QIDQ3937396
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
hereditary subalgebrasecond order predicate logicfull reflective subcategorycategory of all directed commutative BCK- algebras
Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ On transitivity of strict preference relations ⋮ ON AN ALGEBRAIZATION OF MEASURE THEORY. ABSTRACT SEMIRINGS
This page was built for publication:
