On the deductive system of the order of an equationally orderable quasivariety (Q295923)

In former works, the author of this paper has introduced semilattice-based deductive systems under the general setting of abstract algebraic logic and investigated their fundamental properties such as finitarity, congruence property, etc. In this paper, the idea is extended to those based on equationally orderable algebras, so as to cover among others the logics preserving degrees of truth which can be found in substructural logics and mathematical fuzzy logic. Several fundamental results including those mentioned above are shown to hold even in the case thus generalized. Moreover, some characteristic issues such as, for example, the relationship with the Hilbert-based deductive systems are also discussed by featuring deductive systems based on implicative algebras.