Ricordo di Franco Montagna(*)

Bellissima, Fabio; Sorbi, Andrea; Ursini, Aldo

Bellissima, Fabio ; Sorbi, Andrea ; Ursini, Aldo

Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana, Tome 1 (2016), p. 173-180 / Harvested from Biblioteca Digitale Italiana di Matematica

Access to full text
Full (PDF)
Full (DjVu)

Résumé
Abstract

Publié le : 2016-08-01

MR 3586459

@article{RUMI_2016_1_1_2_173_0,
     author = {Fabio Bellissima and Andrea Sorbi and Aldo Ursini},
     title = {Ricordo di Franco Montagna(*)},
     journal = {Matematica, Cultura e Societ\`a. Rivista dell'Unione Matematica Italiana},
     volume = {1},
     year = {2016},
     pages = {173-180},
     mrnumber = {3586459},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RUMI_2016_1_1_2_173_0}
}

Bellissima, Fabio; Sorbi, Andrea; Ursini, Aldo. Ricordo di Franco Montagna(*). Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana, Tome 1 (2016) pp. 173-180. http://gdmltest.u-ga.fr/item/RUMI_2016_1_1_2_173_0/

Bibliographie

[1] Montagna, F.. Sulle classi quasi ideali. Bollettino della Unione Matematica Italiana, (4) 10:85-97, 1974. | Zbl 0319.08007

[2] Montagna, F.. Sui limiti di certe teorie. Le Matematiche, 29(1):221-236, 1974. | Zbl 0308.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. | Zbl 0322.02032

[4] Montagna, F.. On the algebraization of a Feferman's predicate. Studia Logica, 37(3):221-236, 1978. | Zbl 0398.03054

[5] Montagna, F.. On the diagonalizable algebra of Peano Arithmetic. Bollettino della Unione Matematica Italiana, (5) 16-B:795-812, 1979. | Zbl 0419.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. | Zbl 0405.03030

[7] Montagna, F.. Interpretations of the first-order theory of diagonalizable algebras in Peano Arithmetic. Studia Logica, 39(4):347-354, 1980. | Zbl 0463.03015

[8] Montagna, F.. The undecidability of the first-order theory of diagonalizable algebras. Studia Logica, 39(4):355-359, 1980. | Zbl 0463.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. | Zbl 0448.03016

[10] Montagna, F.. Some modal logics with quantifiers. Bollettino della Unione Matematica Italiana, (5) 17B:1395-1410, 1980. | Zbl 0452.03012

[11] Montagna, F.. Relative precomplete numerations and arithmetic. Journal of Philosophical Logic, 11(4):419-430, 1982. | Zbl 0498.03046

[12] Montagna, F.. ZFC models as Kripke models. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 29(2):163-168, 1983. | Zbl 0519.03013

[13] Montagna, F.. The well-founded algebras. Algebra Universalis, 16(2):38-46, 1983. | Zbl 0467.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. | Zbl 0564.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. | Zbl 0564.03043

[16] Montagna, F.. The predicate modal logic of provability. Notre Dame Journal of Formal Logic, 25(2):179-189, 1984. | Zbl 0549.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. | Zbl 0578.03026

[19] Montagna, F.. Provability in finite subtheories of PA. The Journal of Symbolic Logic, 52(2):494-511, 1987. | Zbl 0623.03023

[20] De Jongh, D. e Montagna, F.. Generic generalized fixed points. Studia Logica, 46(2):193-203, 1987. | Zbl 0638.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. | Zbl 0662.03059

[22] Montagna, F. e Sommaruga, G.. Rosser and Mostowski sentences. Archive for Mathematical Logic, 27(2):115-133, 1988. | Zbl 0688.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. | Zbl 0661.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. | Zbl 0714.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. | Zbl 0688.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. | Zbl 0688.03010

[28] Montagna, F.. Pathologies in two syntactic categories of partial maps. Notre Dame Journal of Formal Logic, 30(1):105-116, 1989. | Zbl 0665.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. | Zbl 0697.03033

[30] Montagna, F. e Sommaruga, G.. A note on some extension results. Studia Logica, 49(4):591-600, 1990. | Zbl 0736.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. | Zbl 0746.03047

[32] Hájek, P. e Montagna, F.. The logic of $\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. | Zbl 0745.03037

[34] De Jongh, D. e Montagna, F.. Rosser orderings and free variables. Studia Logica, 50(1):71-80, 1991. | Zbl 0744.03058

[35] De Jongh, D., Jumelet, M., e Montagna, F.. On the proof of Solovay's theorem. Studia Logica, 50(1):51-70, 1991. | Zbl 0744.03057

[36] Hájek, P. e Montagna, F.. The logic of $\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. | Zbl 0765.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. | Zbl 0794.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. | Zbl 0812.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. | Zbl 0860.03016

[42] Montagna, F. e Mancini, A.. A minimal predicative set theory. Notre Dame Journal of Formal Logic, 35(2):186-203, 1994. | Zbl 0816.03023

[43] Montagna, F.. An algebraic treatment of quantifier free systems of arithmetic. Archive for Mathematical Logic, 35(4):209-224, 1996. | Zbl 0847.03028

[44] Montagna, F., Simi, G., e Sorbi, A.. Logic and probabilistic systems. Archive for Mathematical Logic, 35(4):225-261, 1996. | Zbl 0854.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. | Zbl 0881.03029

[46] Montagna, F.. Investigations on measure-one identification of classes of languages. Information and Computation, 143(1):74-107, 1998. | Zbl 0919.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. | Zbl 0924.68172

[49] Montagna, F. e Osherson, D.. Learning to coordinate: a recursion-theoretic perspective. Synthese, 118(3):74-107, 1999. | Zbl 0943.03034

[50] Luchi, D. e Montagna, F.. An operational logic of proofs with positive and negative information. Studia Logica, 63(1):7-25, 1999. | Zbl 0947.03077

[51] Montagna, F.. An algebraic approach to propositional fuzzy logic. Journal of Logic, Language, and Information, 9(1):91-124, 2000. 177 | Zbl 0942.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. | Zbl 0951.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\Pi$ and $L\Pi\frac{1}{2}$ Łukasiewicz logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. Archive for Mathematical Logic, 40(1):39-67, 2001. | Zbl 0966.03022

[56] Montagna, F. e Sebastiani, V.. Equational fragments of systems for arithmetic. Algebra Universalis, 46(3):417-441, 2001. | Zbl 1061.03036

[57] Montagna, F.. Three complexity problems in quantified fuzzy logic. Studia Logica, 68(1):143-152, 2001. | Zbl 0985.03014

[58] Montagna, F.. Functorial representation theorems for $MV_{\Delta}$ algebras with additional operators. Journal of Algebra, 238(1):99-125, 2001. | Zbl 0987.06012

[59] Montagna, F. e Panti, G.. Adding structure to MV-algebras. Journal of Pure and Applied Algebra, 164(3):365-387, 2001. | Zbl 0992.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. | Zbl 1002.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. | Zbl 0997.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. | Zbl 1011.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. | Zbl 1013.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. | Zbl 1012.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. | Zbl 1020.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. | Zbl 1055.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. | Zbl 1034.06009

[69] Jenei, S. e Montagna, F.. On the continuity points of leftcontinuous t-norms. Archive for Mathematical Logic, 42(8):797-810, 2003. | Zbl 1047.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. | Zbl 1039.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). | MR 2013723 | Zbl 1035.03010

[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. | MR 1973145 | Zbl 1038.68057

[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. | Zbl 1274.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. | MR 2072982 | Zbl 1045.03048

[75] Montagna, F.. Storage operators and multiplicative quantifiers in many-valued logics. Journal of Logic and Computation, 14(2):299-322, 2004. | MR 2046270 | Zbl 1061.03027

[76] Baaz, M., Cibattoni, F. e Montagna, F.. Analytic calculi for monoidal t-norm based logic. Fundamenta Informaticae, 59(4):315-332, 2004. | MR 2058357 | Zbl 1057.03019

[77] Montagna, F.. Subreducts of MV-algebras with product and product residuation. Algebra Universalis, 53(1):109-137, 2005. | MR 2135072 | Zbl 1086.06010

[78] Montagna, F.. On the predicate logics of continuous tnorm BL-algebras. Archive for Mathematical Logic, 44(1):97-114, 2005. | MR 2116836 | Zbl 1070.03013

[79] Flaminio, T. e Montagna, F.. A logical and algebraic treatment of conditional probability. Archive for Mathematical Logic, 44(2):245-262, 2005. | MR 2121263 | Zbl 1064.03016

[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. | MR 2168356 | Zbl 1094.68039

[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. | MR 2137729 | Zbl 1151.91315

[82] Montagna, F. e Spada, L.. Continuous approximations of product implication in MV-algebras with product. Soft Computing, 9:149-154, 2005. | Zbl 1086.06009

[83] Di Nola, A., Esteva, F., Godo, L. e Montagna, F.. Varieties of BL-algebras. Soft Computing, 9:875-888, 2005. | Zbl 1092.03036

[84] Montagna, F.. Generating the variety of BL-algebras. Soft Computing, 9:869-874, 2005. | Zbl 1093.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. | MR 2210767 | Zbl 1095.03080

[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. | MR 2272037 | Zbl 1110.60003

[87] Jipsen, P. e Montagna, F.. On the structure of generalized BL-algebras. Algebra Universalis, 55(2-3):227-238, 2006. | MR 2280228 | Zbl 1109.06011

[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. | MR 2229934 | Zbl 1094.03011

[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. | MR 2254393 | Zbl 1113.03021

[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. | MR 2354903 | Zbl 1139.03017

[92] Marchioni, E. e Montagna, F.. Complexity and definability issues in $Ł\Pi\frac{1}{2}$ . Journal of Logic and Computation, 17(2):311-331, 2007. | MR 2322015 | Zbl 1142.03015

[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. | MR 2349789 | Zbl 1127.03049

[94] Montagna, F., Marini, C. e Simi, G.. Product logic and probabilistic Ulam games. Fuzzy Sets and Systems, 158(6):639-651, 2007. | MR 2303325 | Zbl 1117.03028

[95] Montagna, F. e Tsinakis, C.. Ordered groups with a modality. Journal of Pure and Applied Algebra, 211(2):511-531, 2007. | MR 2341267 | Zbl 1121.06304

[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. | MR 2426369

[97] Marchioni, E. e Montagna, F.. On triangular norms and uninorms definable in $Ł\Pi\frac{1}{2}$ . International Journal of Approximate Reasoning, 47(2):179-201, 2008. | MR 2369565 | Zbl 1189.03032

[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. | MR 2435904 | Zbl 1152.03019

[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. | MR 2866628

[100] Jipsen, P. e Montagna, F.. The Blok-Ferreirim theorem for normal GBL algebras and its application. Algebra Universalis, 60(4):381-404, 2009. | MR 2504748 | Zbl 1192.06011

[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. | MR 2499266 | Zbl 1159.03045

[102] Hŏrcík, R. e Montagna, F.. Archimedean classes in integral, commutative residuated lattices. Mathematical Logic Quarterly, 55(3):320-336, 2009. | MR 2519247 | Zbl 1172.03037

[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. | MR 2525974 | Zbl 1168.03052

[104] Bianchi, M. e Montagna, F.. Supersound many valued logics and Dedekind-McNeille Completions. Archive for Mathematical Logic, 48(8):719-736, 2009. | MR 2563813 | Zbl 1185.03040

[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. | MR 2567700 | Zbl 1173.91300

[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. | MR 2519034 | Zbl 1185.06007

[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. | MR 2566249 | Zbl 1190.03026

[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. | MR 2602656 | Zbl 1198.03032

[109] Jipsen, P. e Montagna, F.. Embedding theorems for normal GBL-algebras. Journal of Pure and Applied Algebra, 214(9):1559-1575, 2010. | MR 2593683 | Zbl 1192.06012

[110] Montagna, F. e Tsinakis, C.. Ordered groups with a conucleus. Journal of Pure and Applied Algebra, 214(1):71-88, 2010. | MR 2561768 | Zbl 1185.06012

[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. | MR 2835066 | Zbl 1244.03082

[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. | MR 2836581 | Zbl 1252.03042

[113] Montagna, F.. An algebraic treatment of imprecise probabilities. Demonstratio Mathematica, 44(3):497-509, 2011. | MR 2866581 | Zbl 1237.06006

[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. | MR 2765640 | Zbl 1216.03047

[115] Flaminio, T. e Montagna, F.. Models for many-valued probabilistic reasoning. Journal of Logic and Computation, 21(3):447-464, 2011. | MR 2802937 | Zbl 1237.06005

[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. | MR 2855876 | Zbl 1247.03137

[117] Dvureĉenskij, A., Kowalski, T. e Montagna, F.. State morphism MV-algebras. International Journal of Approximate Reasoning, 52(8):1215-1228, 2011. | MR 2835070 | Zbl 1251.06001

[118] Bianchi, M. e Montagna, F.. n-contractive BL-logics. Archive for Mathematical Logic, 50(3-4):257-285, 2011. | MR 2786754 | Zbl 1266.03041

[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. | MR 3098609 | Zbl 1284.03176

[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. | MR 3098615 | Zbl 1284.03180

[121] Montagna, F.. Partially undetermined many-valued events and their conditional probability. Journal of Philosophical Logic, 41(3):563-593, 2012. | MR 2914446 | Zbl 1261.03096

[122] Montagna, F.. $\Delta$ -core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Studia Logica, 100(1-2):289-317, 2012. | MR 2923541 | Zbl 1258.03029

[123] Montagna, F. e Pianigiani, D.. A short note on essentially $\Sigma_{1}$ sentences (revised and extendend version). Logica Universalis, 7(1):103-111, 2013. | MR 3027660 | Zbl 1270.03039

[124] Jenei, S. e Montagna, F.. Strongly involutive uninorm algebras. Journal of Logic and Computation, 23(3):707-726, 2013. | MR 3063047 | Zbl 1288.03044

[125] Bova, S. e Montagna, F.. Polynomial space hardness without disjunction property. Theoretical Computer Science, 467:1-11, 2013. | MR 3000949 | Zbl 1298.68097

[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. | MR 3031791 | Zbl 1266.06011

[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. | MR 3041094 | Zbl 1316.03009

[128] Ciabattoni, A. e Montagna, F.. Proof theory for locally finite many-valued logics: Semi-projective logics. Theoretical Computer Science, 480:26-42, 2013. | MR 3035107 | Zbl 1322.03019

[129] Metcalfe, G., Montagna, F. e Tsinakis, C.. Amalgamation and interpolation in ordered algebras. Journal of Algebra, 402:21-82, 2014. | MR 3160414 | Zbl 1318.06012

[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. | MR 3616469

[131] Jenei, S. e Montagna, F.. A classification of certain group-like $FL_{e}$ -chains. Synthese, 192(7):2095-2121, 2015. (Erratum: Synthese, 193(1) (2016), p. 313). | MR 3400598 | Zbl 1357.06011

[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. | MR 3278323 | Zbl 06534849

[133] Montagna, F. e Ugolini, S.. A categorical equivalence for product algebras. Studia Logica, 103(2):345-373, 2015. | MR 3333185 | Zbl 06454997

[134] Bianchi, M. e Montagna, F.. Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Studia Logica, 103(6):1163-1181, 2015. (Erratum: Studia Logica 103(6) (2015), p. 1183). | MR 3424105 | Zbl 1330.03061

[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. | MR 3471212

[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. | MR 3537845

[138] Flaminio, T., Hosni, H. e Montagna, F.. A characterization of strict coherence for infinite-valued events. In preparazione.