ASSERTIONALLY EQUIVALENT QUASIVARIETIES
2008 ◽
Vol 18
(04)
◽
pp. 589-681
◽
A translation in an algebraic signature is a finite conjunction of equations in one variable. On a quasivariety K, a translation τ naturally induces a deductive system, called the τ-assertional logic of K. Two quasivarieties are τ-assertionally equivalent if they have the same τ-assertional logic. This paper is a study of assertional equivalence. It characterizes the quasivarieties equivalent to ones with various desirable properties, such as τ-regularity (a general form of point regularity). Special attention is paid to structural properties of quasivarieties that are assertionally equivalent to their varietal closures under an indicated translation.
1988 ◽
Vol 447
(3)
◽
pp. 103-116
◽
1984 ◽
Vol 127
(1-3)
◽
pp. 214-218
◽
Keyword(s):
Keyword(s):
1998 ◽
Vol 08
(PR2)
◽
pp. Pr2-47-Pr2-50
Keyword(s):
2000 ◽
Vol 10
(PR7)
◽
pp. Pr7-95-Pr7-98
◽
2013 ◽
Vol 51
(9)
◽
pp. 691-699
Keyword(s):
1962 ◽
Vol 78
(12)
◽
pp. 579-617
◽
2007 ◽
Vol 2007
(suppl_26)
◽
pp. 503-508