zbMATH — the first resource for mathematics

Semiconic idempotent residuated structures. (English) Zbl 1196.06009
A class \(\mathcal{K}\) of similar algebras is said to have the finite embeddability property (briefly, the FEP) if every finite subset of an algebra in \( \mathcal{K}\) can be extended to a finite algebra in \( \mathcal{K}\). If a finitely axiomatized variety or quasivariety of finite type has the FEP, then its universal first-order theory is decidable, hence its equational and quasi-equational theories are decidable as well.
A residuated partially ordered monoid is said to be idempotent if its monoid operation is idempotent. In this case, the partial order is equationally definable, so the structures can be treated as pure algebras. Such an algebra is said to be conic if each of its elements lies above or below the monoid identity; it is semiconic if it is a subdirect product of conic algebras.
In this paper, it is proved that the class SCIP of all semiconic idempotent commutative residuated po-monoids is locally finite, i.e., every finitely generated member of this class is a finite algebra. It turns out that SCIP is a quasivariety; it is not a variety.
The lattice-ordered members of SCIP form a variety SCIL, provided that we add the lattice operations \(\wedge, \vee\) to the similar type. The variety SCIL is not locally finite (it contains all Brouwerian lattices which are not locally finite, as was proved by C. G. McKay [J. Symb. Log. 33, 258–264 (1968; Zbl 0175.27103)]). But the local finiteness of SCIP facilitates a proof that SCIL has the FEP. In fact, it is shown here that for every relative subvariety \(\mathcal{K}\) of SCIP, the lattice-ordered members of \(\mathcal{K}\) form a variety with the FEP. It is also shown that SCIL has a continuum of semisimple subvarieties.
The results here give a unified explanation of the strong finite model property for many extensions of these and other systems. They partially generalize the main theorem of [J. G. Raftery, Trans. Am. Math. Soc. 359, No. 9, 4405–4427 (2007; Zbl 1117.03070)], which showed that the variety generated by all idempotent commutative residuated chains is locally finite. It is shown here that the involutive algebras in SCIL are subdirect products of chains.
Finally, it is shown that there are just \(2^{\aleph_{0}}\) semisimple varieties of semiconic idempotent commutative residuated lattices and every such lattice is distributive, and therefore a Sugihara monoid. Thus, we gain no finiteness results by imposing involution on the algebras in SCIL. Moreover, since the subdirectly irreducible Sugihara monoids are totally ordered, most of the algebras in SCIL (or in SCIP) cannot be embedded into involutive algebras in SCIL.

06F05 Ordered semigroups and monoids
03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03G25 Other algebras related to logic
08A50 Word problems (aspects of algebraic structures)
08C15 Quasivarieties
Full Text: DOI
[1] Aglianò P.: Ternary deductive terms in residuated structures. Acta Sci. Math. (Szeged) 64, 397–429 (1998)
[2] Anderson, A.R., Belnap, Jnr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press (1975) · Zbl 0323.02030
[3] Balbes R.: On free pseudo-complemented and relatively pseudo-complemented semi-lattices. Fund. Math. 78, 119–131 (1973) · Zbl 0277.06001
[4] Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia (1974)
[5] Blok W.J., Ferreirim I.M.A.: On the structure of hoops. Algebra Universalis 43, 233–257 (2000) · Zbl 1012.06016
[6] Blok W.J., Pigozzi D.: On the structure of varieties with equationally definable principal congruences I. Algebra Universalis 15, 195–227 (1982) · Zbl 0512.08002
[7] Blok, W.J., Pigozzi, D.: Abstract algebraic logic and the deduction theorem (1997, manuscript). http://orion.math.iastate.edu/dpigozzi/ (2001, updated version)
[8] Blok W.J., van Alten C.J.: The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis 48, 253–271 (2002) · Zbl 1058.06016
[9] Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics. Springer, New York (1981) · Zbl 0478.08001
[10] Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35. Clarendon Press, Oxford (1997) · Zbl 0871.03007
[11] de Bruijn, N.G.: Exact finite models for minimal propositional calculus over a finite alphabet. Technical Report T.H.-Report 75-WSK-02, Department of Mathematics, Eindhoven Technological University, Eindhoven (1975) · Zbl 0317.02023
[12] Galatos N.: Equational bases for joins of residuated-lattice varieties. Studia Logica 76, 227–240 (2004) · Zbl 1068.06007
[13] Galatos N.: Minimal varieties of residuated lattices. Algebra Universalis 52, 215–239 (2005) · Zbl 1082.06011
[14] Hart J., Rafter L., Tsinakis C.: The structure of commutative residuated lattices. Internat. J. Algebra Comput. 12, 509–524 (2002) · Zbl 1011.06006
[15] Hsieh A., Raftery J.G.: A finite model property for RMI min . Math. Logic Quarterly 52, 602–612 (2006) · Zbl 1110.03011
[16] Jónsson B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 110–121 (1967) · Zbl 0167.28401
[17] Jónsson B.: Congruence distributive varieties. Math. Japonica 42, 353–401 (1995) · Zbl 0841.08004
[18] Köhler P.: Brouwerian semilattices. Trans. Amer. Math. Soc. 268, 103–126 (1981) · Zbl 0473.06003
[19] Köhler P., Pigozzi D.: Varieties with equationally definable principal congruences. Algebra Universalis 11, 213–219 (1980) · Zbl 0448.08005
[20] Krzystek P.S.: On the free relatively pseudocomplemented semilattice with three generators. Rep. Math. Logic 9, 31–38 (1977) · Zbl 0417.06008
[21] Landolt W.J., Whaley T.P.: The free implicative semilattice on three generators. Algebra Universalis 6, 73–80 (1976) · Zbl 0342.06004
[22] Litak T.: A continuum of incomplete intermediate logics. Rep. Math. Logic 36, 131–141 (2002) · Zbl 1031.03050
[23] Maltsev A.I.: Algebraic Systems. Springer, Berlin (1973)
[24] McKay C.G.: The decidability of certain intermediate propositional logics. J. Symbolic Logic 33, 258–264 (1968) · Zbl 0175.27103
[25] McKenzie R.: Equational bases for lattice theories. Math. Scand. 27, 24–38 (1970) · Zbl 0307.08001
[26] Olson J.S., Raftery J.G.: Positive Sugihara monoids. Algebra Universalis 57, 75–99 (2007) · Zbl 1128.03054
[27] Olson J.S., Raftery J.G.: Residuated structures, concentric sums and finiteness conditions. Comm.Algebra 36, 3632–3670 (2008) · Zbl 1298.03117
[28] Ono H.: Semantics for substructural logics. In: Schroeder-Heister, P., Došen, K. (eds) Substructural Logics, pp. 259–291. Clarendon Press, Oxford (1993) · Zbl 0941.03522
[29] Pigozzi D.: Finite basis theorems for relatively congruence-distributive quasivarieties. Trans. Amer. Math. Soc. 310, 499–533 (1988) · Zbl 0706.08009
[30] Raftery J.G.: Representable idempotent commutative residuated lattices. Trans. Amer. Math. Soc. 359, 4405–4427 (2007) · Zbl 1117.03070
[31] Shehtman V.B.: On incomplete propositional logics. Soviet Math. Doklady 18, 985–989 (1977) · Zbl 0412.03011
[32] Stanovský D.: Commutative idempotent residuated lattices. Czechoslovak Math. J. 57, 191–200 (2007) · Zbl 1174.06332
[33] Troelstra, A.S.: Lectures on Linear Logic. CSLI Lecture Notes, vol. 29 (1992) · Zbl 0942.03535
[34] Wroński A.: The degree of completeness of somefragments of the intuitionistic propositional logic. Rep. Math. Logic 2, 55–62 (1974)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.