Switch to: References

Add citations

You must login to add citations.
  1. First-order Nilpotent minimum logics: first steps.Matteo Bianchi - 2013 - Archive for Mathematical Logic 52 (3-4):295-316.
    Inspired by the work done by Baaz et al. (Ann Pure Appl Log 147(1–2): 23–47, 2007; Lecture Notes in Computer Science, vol 4790/2007, pp 77–91, 2007) for first-order Gödel logics, we investigate Nilpotent Minimum logic NM. We study decidability and reciprocal inclusion of various sets of first-order tautologies of some subalgebras of the standard Nilpotent Minimum algebra, establishing also a connection between the validity in an NM-chain of certain first-order formulas and its order type. Furthermore, we analyze axiomatizability, undecidability and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices.Bin Zhao & Hongjun Zhou - 2013 - Archive for Mathematical Logic 52 (7-8):689-706.
    Bosbach and Riečan states on residuated lattices both are generalizations of probability measures on Boolean algebras. Just from the observation that both of them can be defined by using the canonical structure of the standard MV-algebra on the unit interval [0, 1], generalized Riečan states and two types of generalized Bosbach states on residuated lattices were recently introduced by Georgescu and Mureşan through replacing the standard MV-algebra with arbitrary residuated lattices as codomains. In the present paper, the Glivenko theorem is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation