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, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The logic Ł•.Marta S. Sagastume & Hernán J. San Martín - 2014 - Mathematical Logic Quarterly 60 (6):375-388.
  • Modal twist-structures over residuated lattices.H. Ono & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (3):440-457.
  • Partially Undetermined Many-Valued Events and Their Conditional Probability.Franco Montagna - 2012 - Journal of Philosophical Logic 41 (3):563-593.
    A logic for classical conditional events was investigated by Dubois and Prade. In their approach, the truth value of a conditional event may be undetermined. In this paper we extend the treatment to many-valued events. Then we support the thesis that probability over partially undetermined events is a conditional probability, and we interpret it in terms of bets in the style of de Finetti. Finally, we show that the whole investigation can be carried out in a logical and algebraic setting, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Categories of models of R-mingle.Wesley Fussner & Nick Galatos - 2019 - Annals of Pure and Applied Logic 170 (10):1188-1242.
    We give a new Esakia-style duality for the category of Sugihara monoids based on the Davey-Werner natural duality for lattices with involution, and use this duality to greatly simplify a construction due to Galatos-Raftery of Sugihara monoids from certain enrichments of their negative cones. Our method of obtaining this simplification is to transport the functors of the Galatos-Raftery construction across our duality, obtaining a vastly more transparent presentation on duals. Because our duality extends Dunn's relational semantics for the logic R-mingle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Some Categories of Involutive Centered Residuated Lattices.J. L. Castiglioni, M. Menni & M. Sagastume - 2008 - Studia Logica 90 (1):93-124.
    Motivated by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras we define the functor K • relating integral residuated lattices with 0 with certain involutive residuated lattices. Our work is also based on the results obtained by Cignoli about an adjunction between Heyting and Nelson algebras, which is an enrichment of the basic adjunction between lattices and Kleene algebras. The lifting of the functor to the category of residuated lattices leads us to study (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Twist Structures and Nelson Conuclei.Manuela Busaniche, Nikolaos Galatos & Miguel Andrés Marcos - 2022 - Studia Logica 110 (4):949-987.
    Motivated by Kalman residuated lattices, Nelson residuated lattices and Nelson paraconsistent residuated lattices, we provide a natural common generalization of them. Nelson conucleus algebras unify these examples and further extend them to the non-commutative setting. We study their structure, establish a representation theorem for them in terms of twist structures and conuclei that results in a categorical adjunction, and explore situations where the representation is actually an isomorphism. In the latter case, the adjunction is elevated to a categorical equivalence. By (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Remarks on an algebraic semantics for paraconsistent Nelson's logic.Manuela Busaniche & Roberto Cignoli - 2011 - Manuscrito 34 (1):99-114.
    In the paper Busaniche and Cignoli we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson’s logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and some subvarieties of NPc-lattices.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Residuated bilattices.Umberto Rivieccio & Ramon Jansana - 2012 - Soft Computing 16 (3):493-504.
    We introduce a new product bilattice con- struction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lat- tice factors. Finally, we show how (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Paraconsistent modal logics.Umberto Rivieccio - 2011 - Electronic Notes in Theoretical Computer Science 278:173-186.
    We introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics. We provide a representation for these algebras in terms of twiststructures, generalizing a known result on the representation of the algebraic counterpart of paraconsistent Nelson logic.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations