Switch to: References

Add citations

You must login to add citations.
  1. On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices.Jun Tao Wang, Yan Hong She, Peng Fei He & Na Na Ma - 2023 - Studia Logica 111 (3):361-390.
    The category \(\mathbb {DRDL}{'}\), whose objects are c-differential residuated distributive lattices satisfying the condition \(\textbf{CK}\), is the image of the category \(\mathbb {RDL}\), whose objects are residuated distributive lattices, under the categorical equivalence \(\textbf{K}\) that is constructed in Castiglioni et al. (Stud Log 90:93–124, 2008). In this paper, we introduce weak monadic residuated lattices and study some of their subvarieties. In particular, we use the functor \(\textbf{K}\) to relate the category \(\mathbb {WMRDL}\), whose objects are weak monadic residuated distributive lattices, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • How to Produce S-Tense Operators on Lattice Effect Algebras.Ivan Chajda, Jiří Janda & Jan Paseka - 2014 - Foundations of Physics 44 (7):792-811.
    Tense operators in effect algebras play a key role for the representation of the dynamics of formally described physical systems. For this, it is important to know how to construct them on a given effect algebra \( E\) and how to compute all possible pairs of tense operators on \( E\) . However, we firstly need to derive a time frame which enables these constructions and computations. Hence, we usually apply a suitable set of states of the effect algebra \( (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.
    We prove several interpolation theorems for many-valued infinitary logic with quantifiers by studying expansions of MV-algebras in the spirit of polyadic and cylindric algebras. We prove for various reducts of polyadic MV-algebras of infinite dimensions that if is the free algebra in the given signature,, is in the subalgebra of generated by, is in the subalgebra of generated by and, then there exists an interpolant in the subalgebra generated by and such that. We call this a varying interpolation property because (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
    Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued logic. We introduce monadic GMV-algebras and describe their connections to certain couples of GMV-algebras and to left adjoint mappings of canonical embeddings of GMV-algebras. Furthermore, functional MGMV-algebras are studied and polyadic GMV-algebras are introduced and discussed.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit.C. Cimadamore & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):175-201.
    In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ -groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ -groups with strong unit. Some applications are given thereof.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute.Aldo Figallo Orellano - 2016 - Studia Logica 104 (5):931-956.
    In this paper we investigate the class of MV-algebras equipped with two quantifiers which commute as a natural generalization of diagonal-free two-dimensional cylindric algebras. In the 40s, Tarski first introduced cylindric algebras in order to provide an algebraic apparatus for the study of classical predicate calculus. The diagonal–free two-dimensional cylindric algebras are special cylindric algebras. The treatment here of MV-algebras is done in terms of implication and negation. This allows us to simplify some results due to Di Nola and Grigolia (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit.C. Cimadamore & J. Díaz Varela - 2011 - Studia Logica 98 (1-2):175-201.
    In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ-groups with strong unit. Some applications are given thereof.
    Download  
     
    Export citation  
     
    Bookmark   2 citations