7 found
Order:
  1.  20
    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 (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  3
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  3
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  2
    Stefano Aguzzoli & Brunella Gerla (2010). Probability Measures in the Logic of Nilpotent Minimum. Studia Logica 94 (2):151-176.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  25
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    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)  
     
    Export citation  
     
    My bibliography