7 found
Sort by:
  1. Stefano Aguzzoli & Simone Bova (2010). The Free N-Generated BL-Algebra. Annals of Pure and Applied Logic 161 (9):1144-1170.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. Stefano Aguzzoli, Matteo Bianchi & Vincenzo Marra (2009). A Temporal Semantics for Basic Logic. Studia Logica 92 (2):147 - 162.
    In the context of truth-functional propositional many-valued logics, Hájek’s Basic Fuzzy Logic BL [14] plays a major rôle. The completeness theorem proved in [7] shows that BL is the logic of all continuous t -norms and their residua. This result, however, does not directly yield any meaningful interpretation of the truth values in BL per se . In an attempt to address this issue, in this paper we introduce a complete temporal semantics for BL. Specifically, we show that BL formulas (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. 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  
  6. 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  
  7. Stefano Aguzzoli & Agata Ciabattoni (2000). Finiteness in Infinite-Valued Łukasiewicz Logic. Journal of Logic, Language and Information 9 (1):5-29.
    In this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-valued ukasiewicz logic to a suitable m-valued ukasiewicz logic m , where m only depends on the length of the formulas to be proved. Using geometrical arguments we find a better upper bound for the least integer m such that a formula is valid in if and only if it is also valid in m. We also reduce the notion of logical consequence in to the same (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation