Interval MV-algebras and generalizations. (Q459040)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interval MV-algebras and generalizations.
scientific article

    Statements

    Interval MV-algebras and generalizations. (English)
    0 references
    0 references
    0 references
    8 October 2014
    0 references
    In this paper, the set of all intervals of an MV-algebra \(A\) is equipped with the following operations and constants: \(\neg I=\{\neg x\mid x\in I\}\); \(I\oplus J=\{x\oplus y\mid x\in I,\;y\in J\}\); \(\Delta(I)=[\min I,\min I]\); \(\nabla I=[\max I,\max I]\); \(0=[0,0]\); \(1=[1,1]\); and \(i=A\). The resulting algebraic structure is called \(I(A)\), the interval algebra of \(A\); moreover the interval algebra construction is functorial. The models of certain finitely many equational properties of \(I(A)\) are called IMV-algebras. It is shown that every IMV-algebra is isomorphic to \(I(B)\) for some MV-algebra \(B\). The category of IMV-algebras is shown to be equivalent to the category of MV-algebras, and its free objects are characterized. Then Łukasiewicz interval logic is defined as the deductive system whose inference rules are semantic consequence relations between IMV-terms. The tautology and consequence problems for this logic are coNP-complete. Finally a vast generalization of the interval algebra construction is performed: instead of MV-algebras, a large class of quasivarieties of partially ordered algebras is considered, where the operations are monotone or antimonotone in each variable. It results that the interval algebra functor is an equivalence for many quasivarieties, and necessary and sufficient conditions are given for this to happen.
    0 references
    0 references
    approximated reasoning
    0 references
    interval MV-algebras
    0 references
    intervals as truth-values
    0 references
    categorical equivalences
    0 references
    interval logic
    0 references
    triangularizations
    0 references
    IMV-algebras
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers