5 found
Order:
  1.  25
    De Finetti's No-Dutch-Book Criterion for Gödel Logic.Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra - 2008 - 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  32
    Probability Measures in the Logic of Nilpotent Minimum.Stefano Aguzzoli & Brunella Gerla - 2010 - 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)  
     
    Export citation  
     
    My bibliography  
  3.  5
    De Finetti’s No-Dutch-Book Criterion for Gödel Logic.Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra - 2008 - Studia Logica 90 (1):25-41.
    We extend de Finetti's No-Dutch-Book Criterion to Gödel infinite-valued propositional logic.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  4
    A Discrete Free MV-Algebra Over One Generator.Antonio Di Nola & Brunella Gerla - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):331-339.
  5.  2
    Gödel Algebras Free Over Finite Distributive Lattices.Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra - 2008 - 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)  
     
    Export citation  
     
    My bibliography