5 found
Sort by:
  1. Stefano Aguzzoli & Brunella Gerla (2010). Probability Measures in the Logic of Nilpotent Minimum. Studia Logica 94 (2):151 - 176.
    We axiomatize the notion of state over finitely generated free NM-algebras, the Lindenbaum algebras of pure Nilpotent Minimum logic. We show that states over the free n -generated NM-algebra exactly correspond to integrals of elements of with respect to Borel probability measures.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra (2008). De Finetti's No-Dutch-Book Criterion for Gödel Logic. Studia Logica 90 (1):25 - 41.
    We extend de Finetti’s No-Dutch-Book Criterion to Gödel infinite-valued propositional logic.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra (2008). Gödel Algebras Free Over Finite Distributive Lattices. Annals of Pure and Applied Logic 155 (3):183-193.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Stefano Aguzzoli & Brunella Gerla (2002). Finite-Valued Reductions of Infinite-Valued Logics. Archive for Mathematical Logic 41 (4):361-399.
    In this paper we present a method to reduce the decision problem of several infinite-valued propositional logics to their finite-valued counterparts. We apply our method to Łukasiewicz, Gödel and Product logics and to some of their combinations. As a byproduct we define sequent calculi for all these infinite-valued logics and we give an alternative proof that their tautology problems are in co-NP.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Antonio Di Nola & Brunella Gerla (2001). A Discrete Free MV-Algebra Over One Generator. Journal of Applied Non-Classical Logics 11 (3-4):331-339.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation