Switch to: References

Add citations

You must login to add citations.
  1. Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras.Tommaso Flaminio & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (9):103337.
    Download  
     
    Export citation  
     
    Bookmark  
  • Fuzziness in Italy – Traces of a scattered history.Gianpiero Cattaneo, Giulianella Coletti, Antonio Di Nola, Mario Fedrizzi, Giangiacomo Gerla, Gabriella Pasi, Marco Elio Tabacchi, Settimo Termini & Aldo Ventre - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).
    The history of Fuzziness in Italy is varied and scattered among a num- ber of research groups. As a matter of fact, “fuzziness” spread in Italy through a sort of spontaneous diffusion, and, also subsequently, no one felt the need to cre- ate some “national” common structure like an Association or similar things. Since a cohesive retelling would be next to impossible, a few members of the Italian fuzzy community have been asked to recount their experience and express their hopes (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Finite axiomatizability in Łukasiewicz logic.Daniele Mundici - 2011 - Annals of Pure and Applied Logic 162 (12):1035-1047.
    We classify every finitely axiomatizable theory in infinite-valued propositional Łukasiewicz logic by an abstract simplicial complex equipped with a weight function . Using the Włodarczyk–Morelli solution of the weak Oda conjecture for toric varieties, we then construct a Turing computable one–one correspondence between equivalence classes of weighted abstract simplicial complexes, and equivalence classes of finitely axiomatizable theories, two theories being equivalent if their Lindenbaum algebras are isomorphic. We discuss the relationship between our classification and Markov’s undecidability theorem for PL-homeomorphism of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An approach to stochastic processes via non-classical logic.Antonio Di Nola, Anatolij Dvurečenskij & Serafina Lapenta - 2021 - Annals of Pure and Applied Logic 172 (9):103012.
    Download  
     
    Export citation  
     
    Bookmark