Ricordo di Franco Montagna(*)

 Access to full text

 Full (PDF)

 Full (DjVu)

1. MONTAGNA, F.. Sulle classi quasi ideali. Bollettino della Unione Matematica Italiana, (4) 10:85-97, 1974. Zbl0319.08007
2. MONTAGNA, F.. Sui limiti di certe teorie. Le Matematiche, 29(1):221-236, 1974. Zbl0308.02049
3. MONTAGNA, F.. For every n, the n freely generated algebra is not functionally free in the equational class of diagonalizable algebras. Studia Logica, 34(4):315-319, 1975. Zbl0322.02032
4. MONTAGNA, F.. On the algebraization of a Feferman's predicate. Studia Logica, 37(3):221-236, 1978. Zbl0398.03054
5. MONTAGNA, F.. On the diagonalizable algebra of Peano Arithmetic. Bollettino della Unione Matematica Italiana, (5) 16-B:795-812, 1979. Zbl0419.08010
6. MONTAGNA, F.. On the formulas of Peano Arithmetic which are provably closed under modus ponens. Bollettino della Unione Matematica Italiana, (5) 16-B:196-211, 1979. Zbl0405.03030
7. MONTAGNA, F.. Interpretations of the first-order theory of diagonalizable algebras in Peano Arithmetic. Studia Logica, 39(4):347-354, 1980. Zbl0463.03015
8. MONTAGNA, F.. The undecidability of the first-order theory of diagonalizable algebras. Studia Logica, 39(4):355-359, 1980. Zbl0463.03016
9. MONTAGNA, F. e PASINI, L.. The equational class corresponding to the modal logic K43W. Suppl. Bollettino della Unione Matematica Italiana, 2:373-385, 1980. Zbl0448.03016
10. MONTAGNA, F.. Some modal logics with quantifiers. Bollettino della Unione Matematica Italiana, (5) 17B:1395-1410, 1980. Zbl0452.03012
11. MONTAGNA, F.. Relative precomplete numerations and arithmetic. Journal of Philosophical Logic, 11(4):419-430, 1982. Zbl0498.03046
12. MONTAGNA, F.. ZFC models as Kripke models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 29(2):163-168, 1983. Zbl0519.03013
13. MONTAGNA, F.. The well-founded algebras. Algebra Universalis, 16(2):38-46, 1983. Zbl0467.06009
14. MONTAGNA, F.. A completeness result for fixed point algebras. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 30(1):525-532, 1984. Zbl0564.03044
15. BERNARDI, C. e MONTAGNA, F.. Equivalence relations induced by extensional formulae: Classification by means of a new fixed point property. Fundamenta Mathematicae, 124(3):221-232, 1984. Zbl0564.03043
16. MONTAGNA, F.. The predicate modal logic of provability. Notre Dame Journal of Formal Logic, 25(2):179-189, 1984. Zbl0549.03013
17. MONTAGNA, F.. Primi risultati sulla logica predicativa modale della dimostrabilità. In Proceedings of the conference on mathematical logic. Vol. 2 (Siena 1983/1984), pp. 353-355, Siena, 1985. University of Siena. (Italiano). 
18. MONTAGNA, F. e SORBI, A.. Universal recursion theoretic properties of r.e. preordered structures. The Journal of Symbolic Logic, 50(2):179-189, 1985. Zbl0578.03026
19. MONTAGNA, F.. Provability in finite subtheories of PA. The Journal of Symbolic Logic, 52(2):494-511, 1987. Zbl0623.03023
20. DE JONGH, D. e MONTAGNA, F.. Generic generalized fixed points. Studia Logica, 46(2):193-203, 1987. Zbl0638.03019
21. MONTAGNA, F.. Iterated extensional Rosser's fixed points and hyperhyperdiagonalizable algebras. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 33(4):293-303, 1987. Zbl0662.03059
22. MONTAGNA, F. e SOMMARUGA, G.. Rosser and Mostowski sentences. Archive for Mathematical Logic, 27(2):115-133, 1988. Zbl0688.03041
23. DE JONGH, D. e MONTAGNA, F.. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 34(3):229-250, 1988. Zbl0661.03009
24. MONTAGNA, F.. Arithmetical self reference and generalized Rosser formulas. Teoria, 2:145-170, 1988. 
25. MONTAGNA, F. e SORBI, A.. Creativeness and completeness in recursion categories of partial recursive operators. The Journal of Symbolic Logic, 54(3):1023-1041, 1989. Zbl0714.03041
26. DE JONGH, D. e MONTAGNA, F.. Much shorter proofs. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 35(3):247-260, 1989. Zbl0688.03040
27. CARBONE, A. e MONTAGNA, F.. Rosser orderings in bimodal logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 35(4):343-358, 1989. Zbl0688.03010
28. MONTAGNA, F.. Pathologies in two syntactic categories of partial maps. Notre Dame Journal of Formal Logic, 30(1):105-116, 1989. Zbl0665.03038
29. CARBONE, A. e MONTAGNA, F.. Much shorter proofs: a bimodal investigation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 36(1):47-66, 1990. Zbl0697.03033
30. MONTAGNA, F. e SOMMARUGA, G.. A note on some extension results. Studia Logica, 49(4):591-600, 1990. Zbl0736.03005
31. MONTAGNA, F.. The elementary theory of Lindenbaum fixed point algebras is not arithmetical. PU.M.A Ser A, 1(2):207-216, 1990. Zbl0746.03047
32. HÁJEK, P. e MONTAGNA, F.. The logic of ${\mathrm{\Pi }}_1$-conservativity. Archive for Mathematical Logic, 30(2):113-123, 1990. 
33. DI PAOLA, R.A. e MONTAGNA, F.. Some properties of syntactic p-recursion categories generated by consistent recursively enumerable extensions of Peano Arithmetic. The Journal of Symbolic Logic, 56(2):643-660, 1991. Zbl0745.03037
34. DE JONGH, D. e MONTAGNA, F.. Rosser orderings and free variables. Studia Logica, 50(1):71-80, 1991. Zbl0744.03058
35. DE JONGH, D., JUMELET, M., e MONTAGNA, F.. On the proof of Solovay's theorem. Studia Logica, 50(1):51-70, 1991. Zbl0744.03057
36. HÁJEK, P. e MONTAGNA, F.. The logic of ${\mathrm{\Pi }}_1$-conservativity continued. Archive for Mathematical Logic, 32(1):57-63, 1992. 
37. MONTAGNA, F.. Polynomially and superexponentially shorter proofs in fragments of arithmetic. The Journal of Symbolic Logic, 57(3):844-863, 1992. Zbl0765.03029
38. HÁJEK, P., MONTAGNA, F., e PUDLAK, P.. Abbreviating proofs using metamathematical rules. In P. Clote e J. Krajicek, editori, Arithmetic, Proof Theory and Computational Complexity, volume 23 di Oxford Logic Guides, pp. 197-221. Clarendon University Press, Oxford, 1993. Zbl0794.03080
39. FONTANI, S., MONTAGNA, F., e SORBI, A.. A note on relative efficiency of axiom systems. Mathematical Logic Quarterly, 40(2):261-272, 1993. Zbl0812.03026
40. MONTAGNA, F.. 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, 1994. CNR. (Italiano). 
41. ARTEÈMOV, S. e MONTAGNA, F.. On first order theories with provability operators. The Journal of Symbolic Logic, 59(4):1139-1153, 1994. Zbl0860.03016
42. MONTAGNA, F. e MANCINI, A.. A minimal predicative set theory. Notre Dame Journal of Formal Logic, 35(2):186-203, 1994. Zbl0816.03023
43. MONTAGNA, F.. An algebraic treatment of quantifier free systems of arithmetic. Archive for Mathematical Logic, 35(4):209-224, 1996. Zbl0847.03028
44. MONTAGNA, F., SIMI, G., e SORBI, A.. Logic and probabilistic systems. Archive for Mathematical Logic, 35(4):225-261, 1996. Zbl0854.03020
45. DI PAOLA, R.A. e MONTAGNA, F.. Progressions of theories of bounded arithmetic. In A. Sorbi, editore, Complexity, Logic and Recursion Theory, pp. 123-156. Decker, New York, 1996. Zbl0881.03029
46. MONTAGNA, F.. Investigations on measure-one identification of classes of languages. Information and Computation, 143(1):74-107, 1998. Zbl0919.68080
47. MONTAGNA, F., PINNA, G.M., e TIEZZI, E.B.P.. Proof systems with cut elimination for MTLQ. In Theoretical computer science (Prato, 1998), pp. 141-152, River Edge, NJ, 1998. World Scientific Publishing. 
48. MONTAGNA, F. e SIMI, G.. Paradigms in measure theoretic learning and in informant learning. Studia Logica, 62(2):243-268, 1999. Zbl0924.68172
49. MONTAGNA, F. e OSHERSON, D.. Learning to coordinate: a recursion-theoretic perspective. Synthese, 118(3):74-107, 1999. Zbl0943.03034
50. LUCHI, D. e MONTAGNA, F.. An operational logic of proofs with positive and negative information. Studia Logica, 63(1):7-25, 1999. Zbl0947.03077
51. MONTAGNA, F.. An algebraic approach to propositional fuzzy logic. Journal of Logic, Language, and Information, 9(1):91-124, 2000. 177 Zbl0942.06006
52. MONTAGNA, F., PINNA, G.M., e TIEZZI, E.B.P.. A cut-free proof system for bounded metric temporal logic over a dense time domain. Mathematical Logic Quarterly, 46(2):171-182, 2000. Zbl0951.03017
53. MONTAGNA, F.. The free BL-algebra on one generator. Neural Network World, 5:837-844, 2000. 
54. MONTAGNA, F.. Free BLD algebras. In A. Di Nola e G. Gerla, editori, Lectures on Soft Computing and Fuzzy Logic, Advances in Intelligent and Soft Computing, pp. 159-171. Physica-Verlag, Heidelberg, New York, 2001. 
55. ESTEVA, F., GODO, L. e MONTAGNA, F.. The $L\mathrm{\Pi }$ and $L\mathrm{\Pi }\frac{1}{2}$ Łukasiewicz logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. Archive for Mathematical Logic, 40(1):39-67, 2001. Zbl0966.03022
56. MONTAGNA, F. e SEBASTIANI, V.. Equational fragments of systems for arithmetic. Algebra Universalis, 46(3):417-441, 2001. Zbl1061.03036
57. MONTAGNA, F.. Three complexity problems in quantified fuzzy logic. Studia Logica, 68(1):143-152, 2001. Zbl0985.03014
58. MONTAGNA, F.. Functorial representation theorems for $M{V}_{\mathrm{\Delta }}$ algebras with additional operators. Journal of Algebra, 238(1):99-125, 2001. Zbl0987.06012
59. MONTAGNA, F. e PANTI, G.. Adding structure to MV-algebras. Journal of Pure and Applied Algebra, 164(3):365-387, 2001. Zbl0992.06012
60. BAAZ, M., HÁJEK, P., MONTAGNA, F. e VEITH, H.. Complexity of t-tautologies. Annals of Pure and Applied Logic, 113(1-3):3-11, 2001. 
61. MONTAGNA, F., PINNA, G.M. e TIEZZI, E.B.P.. Investigations on fragments of first order branching time logic. Mathematical Logic Quarterly, 48(1):51-62, 2002. Zbl1002.03016
62. JENEI, S. e MONTAGNA, F.. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica, 70(2):183-192, 2002. Zbl0997.03027
63. ESTEVA, F., GISPERT, J., GODO, L. e MONTAGNA, F.. On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica, 71(2):199-226, 2002. Zbl1011.03015
64. MONTAGNA, F. e ONO, H.. Undecidability and standard completeness for Esteva and Godo's logic $MTL\forall$. Studia Logica, 71(2):227-245, 2002. Zbl1013.03021
65. CIGNOLI, R., ESTEVA, F., GODO, L. e MONTAGNA, F.. On a class of left continuous t-norms. Fuzzy Sets and Systems, 131(3):283-296, 2002. Zbl1012.03032
66. JENEI, S. e MONTAGNA, F.. A general method for constructing left-continuous t-norms. Fuzzy Sets and Systems, 136(3):263-282, 2003. Zbl1020.03020
67. MONTAGNA, F., PINNA, G.M. e TIEZZI, E.B.P.. A tableau calculus for Hájēk's logic BL. Journal of Logic and Computation, 13(2):241-259, 2003. Zbl1055.03017
68. AGLIANÒ, P. e MONTAGNA, F.. Varieties of BL-algebras I: General properties. Journal of Pure and Applied Algebra, 181(2-3):105-129, 2003. Zbl1034.06009
69. JENEI, S. e MONTAGNA, F.. On the continuity points of leftcontinuous t-norms. Archive for Mathematical Logic, 42(8):797-810, 2003. Zbl1047.03016
70. ESTEVA, F., GODO, L., HÁJEK, P. e MONTAGNA, F.. Hoops and fuzzy logic. Journal of Logic and Computation, 13(4):531-545, 2003. Zbl1039.03016
71. MONTAGNA, F. e SACCHETTI, L.. Kripke-style semantics for many-valued logics. Mathematical Logic Quarterly, 49(6):629-641, 2003. (Erratum: Mathematical Logic Quarterly, 50(1) (2003), p. 104-107). Zbl1035.03010MR2013723DOI10.1002/malq.200310068
72. MAGNONI, L., MIROLLI, M. e MONTAGNA, F.. PAC learning of probability distributions over a discrete domain. Theoretical Computer Science, 299(1-3):161-200, 2003. Zbl1038.68057MR1973145DOI10.1016/S0304-3975(01)00265-1
73. CASE, J., JAIN, S., MONTAGNA, F., SIMI, G. e SORBI, A.. On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. In M.K. Warmuth e B Schölkopf, editori, Learning Theory and Kernel Machines, 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/ Kernel 2003 Washington, DC, USA, August 2003, Proceedings, volume 2777 di Lecture Notes in Artificial Intelligence, pp. 699-713. Springer-Verlag, Berlin, Heidelberg, New York, 2003. Zbl1274.68142
74. ESTEVA, F., GODO, L. e MONTAGNA, F.. Equational characterization of subvarieties of BL generated by t-norm algebras. Studia Logica, 76(2):161-200, 2004. Zbl1045.03048MR2072982DOI10.1023/B:STUD.0000032084.12744.e3
75. MONTAGNA, F.. Storage operators and multiplicative quantifiers in many-valued logics. Journal of Logic and Computation, 14(2):299-322, 2004. Zbl1061.03027MR2046270DOI10.1093/logcom/14.2.299
76. BAAZ, M., CIBATTONI, F. e MONTAGNA, F.. Analytic calculi for monoidal t-norm based logic. Fundamenta Informaticae, 59(4):315-332, 2004. Zbl1057.03019MR2058357
77. MONTAGNA, F.. Subreducts of MV-algebras with product and product residuation. Algebra Universalis, 53(1):109-137, 2005. Zbl1086.06010MR2135072DOI10.1007/s00012-005-1923-3
78. MONTAGNA, F.. On the predicate logics of continuous tnorm BL-algebras. Archive for Mathematical Logic, 44(1):97-114, 2005. Zbl1070.03013MR2116836DOI10.1007/s00153-004-0231-5
79. FLAMINIO, T. e MONTAGNA, F.. A logical and algebraic treatment of conditional probability. Archive for Mathematical Logic, 44(2):245-262, 2005. Zbl1064.03016MR2121263DOI10.1007/s00153-004-0253-z
80. CASE, J., JAIN, S., MONTAGNA, F., SIMI, G. e SORBI, A.. On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Journal of Computer and System Sciences, 71(3):308-332, 2005. Zbl1094.68039MR2168356DOI10.1016/j.jcss.2004.10.014
81. DEL LUNGO, A., LOUCHARD, G., MARINI, C. e MONTAGNA, . The guessing secrets problem: a probabilistic approach. Journal of Algorithms, 55(2):142-176, 2005. Zbl1151.91315MR2137729DOI10.1016/j.jalgor.2004.03.001
82. MONTAGNA, F. e SPADA, L.. Continuous approximations of product implication in MV-algebras with product. Soft Computing, 9:149-154, 2005. Zbl1086.06009
83. DI NOLA, A., ESTEVA, F., GODO, L. e MONTAGNA, F.. Varieties of BL-algebras. Soft Computing, 9:875-888, 2005. Zbl1092.03036
84. MONTAGNA, F.. Generating the variety of BL-algebras. Soft Computing, 9:869-874, 2005. Zbl1093.03039
85. MONTAGNA, F.. From lattice ordered abelian groups to the algebras of many-valued logic: a survey. Pure Mathematics and Application, 16(1-2):89-102, 2005. Zbl1095.03080MR2210767
86. LOUCHARD, G., MARINI, C., MONTAGNA, F. e SIMI, G.. A variant of the guessing secrets game. Pure Math. Appl, 16(3):295-305, 2005. Zbl1110.60003MR2272037
87. JIPSEN, P. e MONTAGNA, F.. On the structure of generalized BL-algebras. Algebra Universalis, 55(2-3):227-238, 2006. Zbl1109.06011MR2280228DOI10.1007/s00012-006-1960-6
88. MONTAGNA, F.. Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. Annals of Pure and Applied Logic, 141(1-2):148-179, 2006. Zbl1094.03011MR2229934DOI10.1016/j.apal.2005.11.001
89. MONTAGNA, F., NOGUERA, C. e HŎRCÍK, R.. On weakly cancellative Fuzzy Logics. Journal of Logic and Computation, 16(4):423-450, 2006. Zbl1113.03021MR2254393DOI10.1093/logcom/exl002
90. BELLISSIMA, F. e MONTAGNA, F.. Matematica per l'informatica. Aritmetica e logica, probabilità e grafi. Carocci, Roma, 2006. 
91. METCALFE, G. e MONTAGNA, F.. Substructural fuzzy logics. The Journal of Symbolic Logic, 72(3):834-864, 2007. Zbl1139.03017MR2354903DOI10.2178/jsl/1191333844
92. MARCHIONI, E. e MONTAGNA, F.. Complexity and definability issues in $Ł\mathrm{\Pi }\frac{1}{2}$. Journal of Logic and Computation, 17(2):311-331, 2007. Zbl1142.03015MR2322015DOI10.1093/logcom/exl044
93. AGLIANÒ, P., FERREIRIM, I.M.A. e MONTAGNA, F.. Basic hoops: an algebraic study of continuous t-norms. Studia Logica, 87(1):73-98, 2007. Zbl1127.03049MR2349789DOI10.1007/s11225-007-9078-1
94. MONTAGNA, F., MARINI, C. e SIMI, G.. Product logic and probabilistic Ulam games. Fuzzy Sets and Systems, 158(6):639-651, 2007. Zbl1117.03028MR2303325DOI10.1016/j.fss.2006.11.007
95. MONTAGNA, F. e TSINAKIS, C.. Ordered groups with a modality. Journal of Pure and Applied Algebra, 211(2):511-531, 2007. Zbl1121.06304MR2341267DOI10.1016/j.jpaa.2007.01.013
96. BOVA, S. e MONTAGNA, F.. Proof search in Hájek's Basic Logic. ACM Transactions on Computational Logic, 9(3):(21) 1-26, 2008. MR2426369DOI10.1145/1352582.1352589
97. MARCHIONI, E. e MONTAGNA, F.. On triangular norms and uninorms definable in $Ł\mathrm{\Pi }\frac{1}{2}$. International Journal of Approximate Reasoning, 47(2):179-201, 2008. Zbl1189.03032MR2369565DOI10.1016/j.ijar.2007.04.003
98. HÁJEK, P. e MONTAGNA, F.. A note on the first-order logic of complete BL-chains. Mathematical Logic Quarterly, 54(4):435-446, 2008. Zbl1152.03019MR2435904DOI10.1002/malq.200710058
99. MONTAGNA, F.. Petr Hájek's Logic BL and BL-algebras. In P. Cintula, Z. Hainoková, and V. Švejdar, editori, Witnessed yearsã-essays in honour of Petr Hájek, volume 10 di Tributes, pp. 9-12. College Publications, London, 2009. MR2866628
100. JIPSEN, P. e MONTAGNA, F.. The Blok-Ferreirim theorem for normal GBL algebras and its application. Algebra Universalis, 60(4):381-404, 2009. Zbl1192.06011MR2504748DOI10.1007/s00012-009-2106-4
101. BOVA, S. e MONTAGNA, F.. The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theoretical Computer Science, 410(12-13):1143-1158, 2009. Zbl1159.03045MR2499266DOI10.1016/j.tcs.2008.10.024
102. HŎRCÍK, R. e MONTAGNA, F.. Archimedean classes in integral, commutative residuated lattices. Mathematical Logic Quarterly, 55(3):320-336, 2009. Zbl1172.03037MR2519247DOI10.1002/malq.200710091
103. CINTULA, P., ESTEVA, F., GISPERT, J., GODO, L., MONTAGNA, F., and NOGUERA, C.. Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Annals Pure Applied Mathematical Logic, 160(1):53-81, 2009. Zbl1168.03052MR2525974DOI10.1016/j.apal.2009.01.012
104. BIANCHI, M. e MONTAGNA, F.. Supersound many valued logics and Dedekind-McNeille Completions. Archive for Mathematical Logic, 48(8):719-736, 2009. Zbl1185.03040MR2563813DOI10.1007/s00153-009-0145-3
105. SERGIOLI, G., LEDDA, A., PAOLI, F., GIUNTINI, R., KOWLASKI, T., MONTAGNA, F., FREYTES, H. e MARINI, C.. Two cooperative versions of the Guessing Secrets problem. Information Sciences, 179(20):3645-3658, 2009. Zbl1173.91300MR2567700DOI10.1016/j.ins.2009.06.014
106. FLAMINIO, T. e MONTAGNA, F.. MV-algebras with internal states and probabilistic fuzzy logics. International Journal of Approximate Reasoning, 50(1):138-152, 2009. Zbl1185.06007MR2519034DOI10.1016/j.ijar.2008.07.006
107. CIABATTONI, A., METCALFE, G. e MONTAGNA, F.. Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets and Systems, 161(3):369-389, 2010. Zbl1190.03026MR2566249DOI10.1016/j.fss.2009.09.001
108. MONTAGNA, F. e NOGUERA, C.. Arithmetical complexity of first order predicate fuzzy logics over distinguished semantics. Journal of Logic and Computation, 20(2):399-424, 2010. Zbl1198.03032MR2602656DOI10.1093/logcom/exp052
109. JIPSEN, P. e MONTAGNA, F.. Embedding theorems for normal GBL-algebras. Journal of Pure and Applied Algebra, 214(9):1559-1575, 2010. Zbl1192.06012MR2593683DOI10.1016/j.jpaa.2009.11.015
110. MONTAGNA, F. e TSINAKIS, C.. Ordered groups with a conucleus. Journal of Pure and Applied Algebra, 214(1):71-88, 2010. Zbl1185.06012MR2561768DOI10.1016/j.jpaa.2007.01.019
111. FEDEL, M., HOSNI, H. e MONTAGNA, F.. A logical characterization of coherence for imprecise probabilities. International Journal of Approximate Reasoning, 52(8):1147-1170, 2011. Zbl1244.03082MR2835066DOI10.1016/j.ijar.2011.06.004
112. MONTAGNA, F.. A notion of coherence for books on conditional events in many-valued logic. Journal of Logic and Computation, 21(5):829-850, 2011. Zbl1252.03042MR2836581DOI10.1093/logcom/exp061
113. MONTAGNA, F.. An algebraic treatment of imprecise probabilities. Demonstratio Mathematica, 44(3):497-509, 2011. Zbl1237.06006MR2866581
114. MONTAGNA, F.. Completeness with respect to a chain and universal models in fuzzy logic. Archive for Mathematical Logic, 50(1-2):161-183, 2011. Zbl1216.03047MR2765640DOI10.1007/s00153-010-0207-6
115. FLAMINIO, T. e MONTAGNA, F.. Models for many-valued probabilistic reasoning. Journal of Logic and Computation, 21(3):447-464, 2011. Zbl1237.06005MR2802937DOI10.1093/logcom/exp013
116. CORTONESI, T., MARCHIONI, E. e MONTAGNA, F.. Quantifier elimination and other model-theoretic properties of BL-algebras. Notre Dame Journal of Formal Logic, 52(4):339-379, 2011. Zbl1247.03137MR2855876DOI10.1215/00294527-1499336
117. DVUREĈENSKIJ, A., KOWALSKI, T. e MONTAGNA, F.. State morphism MV-algebras. International Journal of Approximate Reasoning, 52(8):1215-1228, 2011. Zbl1251.06001MR2835070DOI10.1016/j.ijar.2011.07.003
118. BIANCHI, M. e MONTAGNA, F.. n-contractive BL-logics. Archive for Mathematical Logic, 50(3-4):257-285, 2011. Zbl1266.03041MR2786754DOI10.1007/s00153-010-0213-8
119. BUSANICHE, M. e MONTAGNA, F.. Hájek's logic BL and BL-algebras. In P. Cintula, P. Hájek, e C. Noguera, editori, Handbook of Mathematical Fuzzy Logic - Volume 1, volume 37 di Studies in Logic, Mathematical Logic and Foundations, pp. 355-447. College Publications, London, 2011. Zbl1284.03176MR3098609
120. HÁJEK, P., MONTAGNA, F. e NOGUERA, C.. Arithmetical complexity of first-order fuzzy logics. In P. Cintula, P. Hájek, e C. Noguera, editori, Handbook of Mathematical Fuzzy Logic - Volume 2, volume 38 di Studies in Logic, Mathematical Logic and Foundations, chapter XI, pp. 853-908. College Publications, London, 2011. Zbl1284.03180MR3098615
121. MONTAGNA, F.. Partially undetermined many-valued events and their conditional probability. Journal of Philosophical Logic, 41(3):563-593, 2012. Zbl1261.03096MR2914446DOI10.1007/s10992-011-9185-3
122. MONTAGNA, F.. $\mathrm{\Delta }$-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Studia Logica, 100(1-2):289-317, 2012. Zbl1258.03029MR2923541DOI10.1007/s11225-012-9379-x
123. MONTAGNA, F. e PIANIGIANI, D.. A short note on essentially ${\mathrm{\Sigma }}_1$ sentences (revised and extendend version). Logica Universalis, 7(1):103-111, 2013. Zbl1270.03039MR3027660DOI10.1007/s11787-012-0070-9
124. JENEI, S. e MONTAGNA, F.. Strongly involutive uninorm algebras. Journal of Logic and Computation, 23(3):707-726, 2013. Zbl1288.03044MR3063047DOI10.1093/logcom/exs019
125. BOVA, S. e MONTAGNA, F.. Polynomial space hardness without disjunction property. Theoretical Computer Science, 467:1-11, 2013. Zbl1298.68097MR3000949DOI10.1016/j.tcs.2012.08.025
126. FEDEL, M., KEIMEL, K., MONTAGNA, F. e ROTH, W.. Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Forum Mathematicum, 25(2):405-441, 2013. Zbl1266.06011MR3031791DOI10.1515/form.2011.123
127. FEDEL, M., MONTAGNA, F. e SCIANNA, G.. Non-standard probability, coherence and conditional probability on many-valued events. International Journal of Approximate Reasoning, 54(5):573-589, 2013. Zbl1316.03009MR3041094DOI10.1016/j.ijar.2013.02.003
128. CIABATTONI, A. e MONTAGNA, F.. Proof theory for locally finite many-valued logics: Semi-projective logics. Theoretical Computer Science, 480:26-42, 2013. Zbl1322.03019MR3035107DOI10.1016/j.tcs.2013.02.003
129. METCALFE, G., MONTAGNA, F. e TSINAKIS, C.. Amalgamation and interpolation in ordered algebras. Journal of Algebra, 402:21-82, 2014. Zbl1318.06012MR3160414DOI10.1016/j.jalgebra.2013.11.019
130. HOSNI, H. e MONTAGNA, F.. Stable non-standard imprecise probabilities. In A. Laurent, O. Strauss, B. Bouchon-Meunier, e R.R. Yager, editori, 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 di Communication in Computer and Information Science, pp. 436-445, New York, USA, 2014. Springer-Verlag. MR3616469
131. JENEI, S. e MONTAGNA, F.. A classification of certain group-like $F{L}_e$-chains. Synthese, 192(7):2095-2121, 2015. (Erratum: Synthese, 193(1) (2016), p. 313). Zbl1357.06011MR3400598DOI10.1007/s11229-014-0409-2
132. MONTAGNA, F., SIMI, G. e SORBI, A.. Taking the Piraha seriously. Communications in Nonlinear Science and Numerical Simulation, 21(1-3):52-69, 2015. Zbl06534849MR3278323DOI10.1016/j.cnsns.2014.06.052
133. MONTAGNA, F. e UGOLINI, S.. A categorical equivalence for product algebras. Studia Logica, 103(2):345-373, 2015. Zbl06454997MR3333185DOI10.1007/s11225-014-9569-9
134. BIANCHI, M. e MONTAGNA, F.. Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Studia Logica, 103(6):1163-1181, 2015. (Erratum: Studia Logica103(6) (2015), p. 1183). Zbl1330.03061MR3424105DOI10.1007/s11225-015-9614-3
135. MARRA, V., MONTAGNA, F. e SPADA, L.. Logiche polivalenti. In H. Hosni, G. Lolli, e C. Toffalori, editori, Le direzioni della ricerca logica in Italia. Edizioni della Normale, Pisa, 2015. 
136. BONGINI, M., CIABATTONI, A. e MONTAGNA, F.. Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets and Systems, 292:130-149, 2016. MR3471212DOI10.1016/j.fss.2015.02.016
137. CORSI, E.A. e MONTAGNA, F.. The Rényi-Ulam games and many-valued logics. In corso di stampa su Fuzzy Sets and Systems. MR3537845DOI10.1016/j.fss.2015.09.006
138. FLAMINIO, T., HOSNI, H. e MONTAGNA, F.. A characterization of strict coherence for infinite-valued events. In preparazione.