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.
    Gödel algebras form the locally finite variety of Heyting algebras satisfying the prelinearity axiom =. In 1969, Horn proved that a Heyting algebra is a Gödel algebra if and only if its set of prime filters partially ordered by reverse inclusion–i.e. its prime spectrum–is a forest. Our main result characterizes Gödel algebras that are free over some finite distributive lattice by an intrisic property of their spectral forest.
    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.
    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