5 found
Order:
  1.  45
    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  
     
    Bookmark   3 citations  
  2.  40
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  8
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  11
    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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  18
    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.
    In this paper we give a representation of the free MV-algebra over one generator as a structure of functions having finite domain.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation