Advertisement

Soft Computing

, Volume 21, Issue 1, pp 1–7 | Cite as

Franco Montagna (1948–2015)

  • Aldo UrsiniEmail author
Obituary

The backstage

Two powerful streams in the first half of last century impeded the development of Mathematical Logic (ML) in Italy after Peano and his school. From one side, Italian culture was dominated by the local version of Idealistic Philosophy1 (Gentile was Minister for Education under Mussolini) with its emphasis on the superiority of philosophy over science. From the other side, the reaction of mathematicians, in particular, was to establish their point by stressing the applicability of Mathematics (Vito Volterra was the head of the National Research Council in the same period). ML was smashed in between the two damnations: “Mathematica sunt, non leguntur–Philosophica sunt, non leguntur”. For instance, the influential mathematician and philosopher Federigo Enriques (1871–1946)2expressed dramatic judgments about the developments of ML and of Set Theory well into the thirties. For him, while at its origins in the hands of Bolzano, Dedekind or Cantor the mathematical investigation...

Notes

Acknowledgements

This overview of Montagna’s work, quantulumcumque, owes a lot to a recent memorial paper by Beklemishev and Flaminio in Studia Logica, 2016(104)1,1–46. Special thanks to Andrea Sorbi, first of all for painstakingly obtaining a virtually complete bibliography of Montagna’s scientific papers. Also, Daniele Mundici was very polite to point at misprints and to suggest improvements. Any mistake or omission is of course the sole responsibility of the author, who surely admits his inability to read and summarize properly over 2000 pages of mathematics in a few weeks.

Compliance with ethical standards

Conflict of interest

The authors declare that there is no conflict of interest regarding the publication of this paper.

References

  1. Aglianò P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181(2–3):105–129zbMATHCrossRefMathSciNetGoogle Scholar
  2. Aglianò P, Ferreirim IMA, Montagna F (2007) Basic hoops: an algebraic study of continuous t-norms. Stud Log 87(1):73–98zbMATHCrossRefMathSciNetGoogle Scholar
  3. Artëmov S, Montagna F (1994) On first order theories with provability operators. J Symb Log 59(4):1139–1153zbMATHCrossRefMathSciNetGoogle Scholar
  4. Baaz M, Hájek P, Montagna F, Veith H (2001) Complexity of t-tautologies. Ann Pure Appl Log 113(1–3):3–11zbMATHCrossRefMathSciNetGoogle Scholar
  5. Baaz M, Cibattoni F, Montagna F (2004) Analytic calculi for monoidal t-norm based logic. Fundam Inf 59(4):315–332zbMATHMathSciNetGoogle Scholar
  6. Bellissima F, Montagna F (2006) Matematica per l’informatica. Aritmetica e logica, probabilità e grafi. Carocci, RomaGoogle Scholar
  7. Bernardi C, Montagna F (1984) Equivalence relations induced by extensional formulae: classification by means of a new fixed point property. Fundam Math 124(3):221–232zbMATHMathSciNetGoogle Scholar
  8. Bianchi M, Montagna F (2009) Supersound many valued logics and Dedekind-MacNeille completions. Arch Math Log 48(8):719–736zbMATHCrossRefMathSciNetGoogle Scholar
  9. Bianchi M, Montagna F (2011) \(n\)-contractive BL-logics. Arch Math Log 50(3–4):257–285zbMATHCrossRefMathSciNetGoogle Scholar
  10. Bianchi M, Montagna F (2015) Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Stud Log 103(6):1163–1181 (Erratum: Studia Logica 103(6) (2015), p. 1183) Google Scholar
  11. Bova S, Montagna F (2008) Proof search in Hájek’s basic logic. ACM Trans Comput Log 9(3:26):1–26Google Scholar
  12. Bova S, Montagna F (2009) The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor Computer Sci 410(12–13):1143–1158zbMATHCrossRefMathSciNetGoogle Scholar
  13. Bova S, Montagna F (2013) Polynomial space hardness without disjunction property. Theor Comput Sci 467:1–11zbMATHCrossRefMathSciNetGoogle Scholar
  14. Busaniche M, Montagna F (2011) Hájek’s logic BL and BL-algebras. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic–volume 1, vol 37., studies in logic, mathematical logic and foundationsCollege Publications, London, pp 355–447Google Scholar
  15. Carbone A, Montagna F (1989) Rosser orderings in bimodal logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 35(4):343–358zbMATHCrossRefMathSciNetGoogle Scholar
  16. Carbone A, Montagna F (1990) Much shorter proofs: a bimodal investigation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 36(1):47–66zbMATHCrossRefMathSciNetGoogle Scholar
  17. Case J, Jain S, Montagna F, Simi G, Sorbi A (2005) On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. J Comput Syst Sci 71(3):308–332zbMATHCrossRefMathSciNetGoogle Scholar
  18. Ciabattoni A, Montagna F (2013) Proof theory for locally finite many-valued logics: semi-projective logics. Theor Comput Sci 480:26–42zbMATHCrossRefMathSciNetGoogle Scholar
  19. Ciabattoni A, Metcalfe G, Montagna F (2010) Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst 161(3):369–389zbMATHCrossRefMathSciNetGoogle Scholar
  20. Cignoli R, Esteva F, Godo L, Montagna F (2002) On a class of left continuous t-norms. Fuzzy Sets Syst 131(3):283–296zbMATHCrossRefMathSciNetGoogle Scholar
  21. Cintula P, Esteva F, Gispert J, Godo L, Montagna F, Noguera C (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann Pure Appl Math Log 160(1):53–81zbMATHCrossRefMathSciNetGoogle Scholar
  22. Corsi EA, Montagna F (2016) The Rényi-Ulam games and many-valued logics. Fuzzy Sets Syst 301:37–50CrossRefGoogle Scholar
  23. Cortonesi T, Marchioni E, Montagna F (2011) Quantifier elimination and other model-theoretic properties of BL-algebras. Notre Dame J Form Log 52(4):339–379zbMATHCrossRefMathSciNetGoogle Scholar
  24. de Jongh D, Montagna F (1987) Generic generalized fixed points. Stud Log 46(2):193–203Google Scholar
  25. de Jongh D, Montagna F (1988) Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 34(3):229–250zbMATHCrossRefMathSciNetGoogle Scholar
  26. de Jongh D, Montagna F (1989) Much shorter proofs. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 35(3):247–260zbMATHCrossRefMathSciNetGoogle Scholar
  27. de Jongh D, Montagna F (1991) Rosser orderings and free variables. Stud Log 50(1):71–80zbMATHCrossRefMathSciNetGoogle Scholar
  28. de Jongh D, Jumelet M, Montagna F (1991) On the proof of Solovay’s theorem. Stud Log 50(1):51–70zbMATHCrossRefMathSciNetGoogle Scholar
  29. Del Lungo A, Louchard G, Marini C, Montagna, (2005) The guessing secrets problem: a probabilistic approach. J Algorithms 55(2):142–176Google Scholar
  30. Di Nola A, Esteva F, Godo L, Montagna F (2005) Varieties of BL-algebras. Soft Comput 9:875–888zbMATHCrossRefGoogle Scholar
  31. Di Paola RA, Montagna F (1991) Some properties of syntactic p-recursion categories generated by consistent recursively enumerable extensions of Peano Arithmetic. J Symb Log 56(2):643–660Google Scholar
  32. Di Paola RA, Montagna F (1996) Progressions of theories of bounded arithmetic. In: Sorbi A (ed) Complexity, logic and recursion theory. Decker, New York, pp 123–156Google Scholar
  33. Dvurečenskij A, Kowalski T, Montagna F (2011) State morphism MV-algebras. Int J Approx Reason 52(8):1215–1228zbMATHCrossRefMathSciNetGoogle Scholar
  34. Esteva F, Godo L, Montagna F (2001) The Ł\(\Pi \) and Ł \(\Pi \frac{1}{2}\) logics: two complete fuzzy systems joining Łuka and Product Logics. Arch Math Log 40(1):39–67zbMATHCrossRefGoogle Scholar
  35. Esteva F, Gispert J, Godo L, Montagna F (2002) On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Stud Log 71(2):199–226zbMATHCrossRefMathSciNetGoogle Scholar
  36. Esteva F, Godo L, Hájek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13(4):531–545zbMATHCrossRefMathSciNetGoogle Scholar
  37. Esteva F, Godo L, Montagna F (2004) Equational characterization of subvarieties of BL generated by t-norm algebras. Stud Log 76(2):161–200zbMATHCrossRefMathSciNetGoogle Scholar
  38. Fedel M, Hosni H, Montagna F (2011) A logical characterization of coherence for imprecise probabilities. Int J Approx Reason 52(8):1147–1170zbMATHCrossRefMathSciNetGoogle Scholar
  39. Fedel M, Keimel K, Montagna F, Roth W (2013a) Imprecise probabilities, bets and functional analytic methods in Łuka logic. Forum Math 25(2):405–441zbMATHCrossRefMathSciNetGoogle Scholar
  40. Fedel M, Montagna F, Scianna G (2013b) Non-standard probability, coherence and conditional probability on many-valued events. Int J Approx Reason 54(5):573–589zbMATHCrossRefMathSciNetGoogle Scholar
  41. Flaminio T, Montagna F (2005) A logical and algebraic treatment of conditional probability. Arch Math Log 44(2):245–262zbMATHCrossRefMathSciNetGoogle Scholar
  42. Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logics. Int J Approx Reason 50(1):138–152zbMATHCrossRefMathSciNetGoogle Scholar
  43. Flaminio T, Montagna F (2011) Models for many-valued probabilistic reasoning. J Log Comput 21(3):447–464zbMATHCrossRefMathSciNetGoogle Scholar
  44. Flaminio T, Hosni H, Montagna F (2011) A characterization of strict coherence for infinite-valued events. Int J Approximate Reasoning 52(8):1147–1170Google Scholar
  45. Fontani S, Montagna F, Sorbi A (1993) A note on relative efficiency of axiom systems. Math Log Q 40(2):261–272zbMATHCrossRefMathSciNetGoogle Scholar
  46. Hájek P, Montagna F (1990a) The logic of \(\Pi _1\)-conservativity. Arch Math Log 30(2):113–123zbMATHCrossRefGoogle Scholar
  47. Hájek P, Montagna F (1990b) The logic of \(\Pi _1\)-conservativity. Arch Math Log 30(2):123–130zbMATHCrossRefGoogle Scholar
  48. Hájek P, Montagna F (1992) The logic of \(\Pi _1\)-conservativity continued. Arch Math Log 32(1):57–63zbMATHCrossRefGoogle Scholar
  49. Hájek P, Montagna F (2008) A note on the first-order logic of complete BL-chains. Math Log Q 54(4):435–446zbMATHCrossRefMathSciNetGoogle Scholar
  50. Hájek P, Montagna F, Pudlak P (1993) Abbreviating proofs using metamathematical rules. In: Clote P, Krajicek J (eds) Arithmetic, proof theory and computational complexity, vol 23. Oxford Logic GuidesClarendon University Press, Oxford, pp 197–221Google Scholar
  51. Hájek P, Montagna F, Noguera C (2011) Arithmetical complexity of first-order fuzzy logics. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic–volume 2, vol 38., studies in logic, mathematical logic and foundations, chapter XI, vol 38College Publications, London, pp 853–908Google Scholar
  52. Horcík R, Montagna F (2009) Archimedean classes in integral, commutative residuated lattices. Math Log Q 55(3):320–336zbMATHCrossRefMathSciNetGoogle Scholar
  53. Hosni H, Montagna F (2014) Stable non-standard imprecise probabilities. In: Laurent A, Strauss O, Bouchon-Meunier B, Yager RR (eds) Information processing and management of uncertainty in knowledge-based systems: 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings, Part III, volume 444 of Communication in computer and information science. Springer, New York, pp 436–445Google Scholar
  54. Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo’s logic MTL. Stud Log 70(2):183–192zbMATHCrossRefMathSciNetGoogle Scholar
  55. Jenei S, Montagna F (2003a) A general method for constructing left-continuous t-norms. Fuzzy Sets Syst 136(3):263–282zbMATHCrossRefMathSciNetGoogle Scholar
  56. Jenei S, Montagna F (2003b) On the continuity points of left-continuous t-norms. Arch Math Log 42(8):797–810zbMATHCrossRefMathSciNetGoogle Scholar
  57. Jenei S, Montagna F (2013) Strongly involutive uninorm algebras. J Log Comput 23(3):707–726zbMATHCrossRefMathSciNetGoogle Scholar
  58. Jenei S, Montagna F (2015) A classification of certain group-like \(FL_e\)-chains. Synthese 192(7):2095–2121 (Erratum: Synthese 193(1) (2016), p. 313) Google Scholar
  59. Jipsen P, Montagna F (2006) On the structure of generalized BL-algebras. Algebra Univers 55(2–3):227–238zbMATHCrossRefMathSciNetGoogle Scholar
  60. Jipsen P, Montagna F (2009) The Blok-Ferreirim theorem for normal GBL algebras and its application. Algebra Univers 60(4):381–404zbMATHCrossRefMathSciNetGoogle Scholar
  61. Jipsen P, Montagna F (2010) Embedding theorems for normal GBL-algebras. J Pure Appl Algebra 214(9):1559–1575zbMATHCrossRefMathSciNetGoogle Scholar
  62. Louchard G, Marini C, Montagna F, Simi G (2005) A variant of the guessing secrets game. Pure Math Appl 16(3):295–305zbMATHMathSciNetGoogle Scholar
  63. Luchi D, Montagna F (1999) An operational logic of proofs with positive and negative information. Stud Log 63(1):7–25zbMATHCrossRefMathSciNetGoogle Scholar
  64. Magnoni L, Mirolli M, Montagna F (2003) PAC learning of probability distributions over a discrete domain. Theor Comput Sci 299(1–3):161–200zbMATHMathSciNetGoogle Scholar
  65. Marchioni E, Montagna F (2007) Complexity and definability issues in Ł \(\Pi \frac{1}{2}\). J Log Comput 17(2):311–331zbMATHCrossRefMathSciNetGoogle Scholar
  66. Marchioni E, Montagna F (2008) On triangular norms and uninorms definable in Ł \(\Pi \frac{1}{2}\). Int J Approx Reason 47(2):179–201zbMATHCrossRefMathSciNetGoogle Scholar
  67. Marra V, Montagna F, Spada L (2015) Logiche polivalenti. In: Hosni H, Lolli G, Toffalori C (eds) Le direzioni della ricerca logica in Italia. Edizioni della Normale, PisaGoogle Scholar
  68. Metcalfe G, Montagna F (2007) Substructural fuzzy logics. J Symb Log 72(3):834–864CrossRefGoogle Scholar
  69. Metcalfe G, Montagna F, Tsinakis C (2014) Amalgamation and interpolation in ordered algebras. J Algebra 402:21–82zbMATHCrossRefMathSciNetGoogle Scholar
  70. Montagna F (1974a) Sulle classi quasi ideali. Bollettino della Unione Matematica Italiana 4(10):85–97zbMATHMathSciNetGoogle Scholar
  71. Montagna F (1974b) Sui limiti di certe teorie. Le Matematiche 29(1):221–236zbMATHMathSciNetGoogle Scholar
  72. Montagna F (1975) For every \(n\), the \(n\) freely generated algebra is not functionally free in the equational class of diagonalizable algebras. Stud Log 34(4):315–319zbMATHCrossRefMathSciNetGoogle Scholar
  73. Montagna F (1978) On the algebraization of a Feferman’s predicate. Stud Log 37(3):221–236zbMATHCrossRefMathSciNetGoogle Scholar
  74. Montagna F (1979a) On the diagonalizable algebra of Peano Arithmetic. Bollettino della Unione Matematica Italiana 16–B(5):795–812Google Scholar
  75. Montagna F (1979b) On the formulas of Peano Arithmetic which are provably closed under modus ponens. Bollettino della Unione Matematica Italiana 16–B(5):196–211Google Scholar
  76. Montagna F (1980a) Interpretations of the first-order theory of diagonalizable algebras in Peano Arithmetic. Stud Log 39(4):347–354zbMATHCrossRefMathSciNetGoogle Scholar
  77. Montagna F (1980b) The undecidability of the first-order theory of diagonalizable algebras. Stud Log 39(4):355–359zbMATHCrossRefMathSciNetGoogle Scholar
  78. Montagna F (1980c) Some modal logics with quantifiers. Bollettino della Unione Matematica Italiana 17–B(5):1395–1410Google Scholar
  79. Montagna F (1982) Relative precomplete numerations and arithmetic. J Philos Log 11(4):419–430zbMATHCrossRefGoogle Scholar
  80. Montagna F (1983a) ZFC models as Kripke models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 29:163–168zbMATHCrossRefMathSciNetGoogle Scholar
  81. Montagna F (1983b) The well-founded algebras. Algebra Univers 16(2):38–46zbMATHCrossRefMathSciNetGoogle Scholar
  82. Montagna F (1984a) A completeness result for fixed point algebras. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 30(1):525–532zbMATHCrossRefMathSciNetGoogle Scholar
  83. Montagna F (1984b) The predicate modal logic of provability. Notre Dame J Form Log 25(2):179–189zbMATHCrossRefMathSciNetGoogle Scholar
  84. Montagna F (1985) Primi risultati sulla logica predicativa modale della dimostrabilità. In: Proceedings of the conference on mathematical logic. Vol. 2 (Siena 1983/1984). University of Siena, Siena, pp 353–355Google Scholar
  85. Montagna F (1987a) Provability in finite subtheories of PA. J Symb Log 52(2):494–511zbMATHCrossRefGoogle Scholar
  86. Montagna F (1987b) Iterated extensional Rosser’s fixed points and hyperhyperdiagonalizable algebras. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 33(4):293–303zbMATHCrossRefMathSciNetGoogle Scholar
  87. Montagna F (1988) Arithmetical self reference and generalized Rosser formulas. Teoria 2:145–170Google Scholar
  88. Montagna F (1989) Pathologies in two syntactic categories of partial maps. Notre Dame J Form Log 30(1):105–116zbMATHCrossRefMathSciNetGoogle Scholar
  89. Montagna F (1990) The elementary theory of Lindenbaum fixed point algebras is hyperarithmetical. Pure Math Appl 1(2):207–216zbMATHMathSciNetGoogle Scholar
  90. Montagna F (1992) Polynomially and superexponentially shorter proofs in fragments of arithmetic. J Symb Log 57(3):844–863zbMATHCrossRefMathSciNetGoogle Scholar
  91. Montagna F (1994) Paradossi e teoremi di incompletezza: il teorema di Solovay. In: Epistemology of mathematics. 1992–1993 Seminars (Siena/Bologna/Pavia), Formazione e Aggiornamento in Matematica degli Insegnanti, pp 85–95, Rome. CNR (Italian)Google Scholar
  92. Montagna F (1996) An algebraic treatment of quantifier free systems of arithmetic. Arch Math Log 35(4):209–224zbMATHCrossRefMathSciNetGoogle Scholar
  93. Montagna F (1998) Investigations on measure one identification of classes of languages. Inf Comput 143(1):74–107zbMATHCrossRefMathSciNetGoogle Scholar
  94. Montagna F (2000a) An algebraic approach to propositional fuzzy logic. J Log Lang Inf 9(1):91–124zbMATHCrossRefMathSciNetGoogle Scholar
  95. Montagna F (2000b) The free BL-algebra on one generator. Neural Netw World 5:837–844Google Scholar
  96. Montagna F (2001a) Three complexity problems in quantified fuzzy logic. Stud Log 68(1):143–152zbMATHCrossRefMathSciNetGoogle Scholar
  97. Montagna F (2001b) Functorial representation theorems for \(\text{ MV }_{\Delta }\) algebras with additional operators. J Algebra 238(1):99–125zbMATHCrossRefMathSciNetGoogle Scholar
  98. Montagna F (2004) Storage operators and multiplicative quantifiers in many-valued logics. J Log Comput 14(2):299–322zbMATHCrossRefMathSciNetGoogle Scholar
  99. Montagna F (2005a) Subreducts of MV-algebras with product and product residuation. Algebra Univers 53(1):109–137zbMATHCrossRefMathSciNetGoogle Scholar
  100. Montagna F (2005b) On the predicate logics of continuous t-norm BL-algebras. Arch Math Log 44(1):97–114zbMATHCrossRefMathSciNetGoogle Scholar
  101. Montagna F (2005c) Generating the variety of BL-algebras. Soft Comput 9:869–874zbMATHCrossRefGoogle Scholar
  102. Montagna F (2005d) From lattice ordered abelian groups to the algebras of many-valued logic: a survey. Pure Math Appl 16(1–2):89–102zbMATHMathSciNetGoogle Scholar
  103. Montagna F (2006) Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. Ann Pure Appl Log 141(1–2):148–179zbMATHCrossRefMathSciNetGoogle Scholar
  104. Montagna F (2009) Petr Hájek’s logic BL and BL-algebras. In: Cintula P, Švejdar Z, Hainoková V (eds) Witnessed years-essays in honour of Petr Hájek. College Publications, London, pp 9–12Google Scholar
  105. Montagna F (2011a) A notion of coherence for books on conditional events in many-valued logic. J Log Comput 21(5):829–850zbMATHCrossRefMathSciNetGoogle Scholar
  106. Montagna F (2011b) An algebraic treatment of imprecise probabilities. Demonstr Math 44(3):497–509zbMATHMathSciNetGoogle Scholar
  107. Montagna F (2011c) Completeness with respect to a chain and universal models in fuzzy logic. Arch Math Log 50(1–2):161–183zbMATHCrossRefMathSciNetGoogle Scholar
  108. Montagna F (2012a) Partially undetermined many-valued events and their conditional probability. J Philos Log 41(3):563–593zbMATHCrossRefMathSciNetGoogle Scholar
  109. Montagna F (2012b) \(\Delta \)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Stud Log 100(1–2):289–317zbMATHCrossRefMathSciNetGoogle Scholar
  110. Montagna F, Pasini L (1980) The equational class corresponding to the modal logic K43W. Bollettino della Unione Matematica Italiana 2:373–385Google Scholar
  111. Montagna F, Sorbi A (1985) Universal recursion theoretic properties of r.e. preordered structures. J Symb Log 50(2):179–189Google Scholar
  112. Montagna F, Sommaruga G (1988) Rosser and Mostowski sentences. Arch Math Log 27(2):115–133zbMATHCrossRefMathSciNetGoogle Scholar
  113. Montagna F, Sorbi A (1989) Creativeness and completeness in recursion categories of partial recursive operators. J Symb Log 54(3):1023–1041zbMATHCrossRefMathSciNetGoogle Scholar
  114. Montagna F, Sommaruga G (1990) A note on some extension results. Stud Log 49(4):591–600zbMATHCrossRefMathSciNetGoogle Scholar
  115. Montagna F, Mancini A (1994) A minimal predicative set theory. Notre Dame J Form Log 35(2):186–203zbMATHCrossRefMathSciNetGoogle Scholar
  116. Montagna F, Osherson D (1999) Learning to coordinate: a recursion-theoretic perspective. Synthese 118(3):74–107zbMATHCrossRefMathSciNetGoogle Scholar
  117. Montagna F, Simi G (1999) Paradigms in measure theoretic learning and in informant learning. Stud Log 62(2):243–268zbMATHCrossRefMathSciNetGoogle Scholar
  118. Montagna F, Panti G (2001) Adding structure to MV-algebras. J Pure Appl Algebra 164(3):365–387zbMATHCrossRefMathSciNetGoogle Scholar
  119. Montagna F, Sebastiani V (2001) Equational fragments of systems for arithmetic. Algebra Univers 46(3):417–441zbMATHMathSciNetGoogle Scholar
  120. Montagna F, Ono H (2002) Undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall \). Stud Log 71(2):227–245zbMATHCrossRefMathSciNetGoogle Scholar
  121. Montagna F, Sacchetti L (2003) Kripke-style semantics for many-valued logics. Math Log Q 49(6):629–641 (Erratum: Mathematical Logic Quarterly 50(1) (2003), p. 104–107) Google Scholar
  122. Montagna F, Tsinakis C (2007) Ordered groups with a modality. J Pure Appl Algebra 211(2):511–531zbMATHCrossRefMathSciNetGoogle Scholar
  123. Montagna F, Tsinakis C (2010) Ordered groups with a conucleus. J Pure Appl Algebra 214(1):71–88zbMATHCrossRefMathSciNetGoogle Scholar
  124. Montagna F, Noguera C (2010) Arithmetical complexity of first order predicate fuzzy logics over distinguished semantics. J Log Comput 20(2):399–424zbMATHCrossRefMathSciNetGoogle Scholar
  125. Montagna F, Pianigiani D (2013) A short note on essentially \(\Sigma _1\) sentences (revised and extended version). Log Univers 7(1):103–111zbMATHCrossRefMathSciNetGoogle Scholar
  126. Montagna F, Ugolini S (2015) A categorical equivalence for product algebras. Stud Log 103(2):345–373zbMATHCrossRefMathSciNetGoogle Scholar
  127. Montagna F, Simi G, Sorbi A (1996) Logic and probabilistic systems. Arch Math Log 35(4):225–261zbMATHCrossRefMathSciNetGoogle Scholar
  128. Montagna F, Pinna GM, Tiezzi EBP (1998) Proof systems with cut elimination for \({\rm MTL}\le {Q}\). Degano P, Vaccaro V, Pirillo G Proceedings of ICTCS ’98 1998). World Scientific Publishing, Singapore, pp 141–152Google Scholar
  129. Montagna F, Pinna GM, Tiezzi EBP (2000) A cut-free proof system for bounded metric temporal logic over a dense time domain. Math Log Q 46(2):171–182zbMATHCrossRefMathSciNetGoogle Scholar
  130. Montagna F, Pinna GM, Tiezzi E (2002) Investigations on fragments of first order branching time logic. Math Log Q 48(1):51–62zbMATHCrossRefMathSciNetGoogle Scholar
  131. Montagna F, Pinna GM, Tiezzi E (2003) A tableau calculus for Hájek’s logic BL. J Log Comput 13(2):241–259Google Scholar
  132. Montagna F, Noguera C, Horcík R (2006) On weakly cancellative fuzzy logics. J Log Comput 16(4):423–450zbMATHCrossRefMathSciNetGoogle Scholar
  133. Montagna F, Marini C, Simi G (2007) Product logic and probabilistic Ulam games. Fuzzy Sets Syst 158(6):639–651zbMATHCrossRefMathSciNetGoogle Scholar
  134. Montagna F, Simi G, Sorbi A (2015) Taking the Piranhã seriously. Commun Nonlinear Sci Numer Simul 21(1–3):52–69zbMATHCrossRefMathSciNetGoogle Scholar
  135. Sergioli G, Ledda A, Paoli F, Giuntini R, Kowlaski T, Montagna F, Freytes H, Marini C (2009) Two cooperative versions of the Guessing Secrets problem. Inf Sci 179(20):3645–3658zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  1. 1.Department of Information Engineering and Mathematical SciencesUniversity of SienaSienaItaly
  2. 2.Department of Mathematical SciencesStellenbosch UniversityMatielandSouth Africa

Personalised recommendations