Ricordo di Franco Montagna(*)

Bellissima, Fabio; Sorbi, Andrea; Ursini, Aldo

Geodesic

Parcourir par

Ricordo di Franco Montagna(*)

Bellissima, Fabio ; Sorbi, Andrea ; Ursini, Aldo

Matematica, cultura e società, Série 1, Tome 1 (2016) no. 2, pp. 173-180.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

MR Zbl

@article{RUMI_2016_1_1_2_a7,
     author = {Bellissima, Fabio and Sorbi, Andrea and Ursini, Aldo},
     title = {Ricordo di {Franco} {Montagna(*)}},
     journal = {Matematica, cultura e societ\`a},
     pages = {173--180},
     publisher = {mathdoc},
     volume = {Ser. 1, 1},
     number = {2},
     year = {2016},
     zbl = {1437.01023},
     mrnumber = {3586459},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RUMI_2016_1_1_2_a7/}
}

TY  - JOUR
AU  - Bellissima, Fabio
AU  - Sorbi, Andrea
AU  - Ursini, Aldo
TI  - Ricordo di Franco Montagna(*)
JO  - Matematica, cultura e società
PY  - 2016
SP  - 173
EP  - 180
VL  - 1
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RUMI_2016_1_1_2_a7/
LA  - it
ID  - RUMI_2016_1_1_2_a7
ER  -

%0 Journal Article
%A Bellissima, Fabio
%A Sorbi, Andrea
%A Ursini, Aldo
%T Ricordo di Franco Montagna(*)
%J Matematica, cultura e società
%D 2016
%P 173-180
%V 1
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RUMI_2016_1_1_2_a7/
%G it
%F RUMI_2016_1_1_2_a7

Bellissima, Fabio; Sorbi, Andrea; Ursini, Aldo. Ricordo di Franco Montagna(*). Matematica, cultura e società, Série 1, Tome 1 (2016) no. 2, pp. 173-180. http://geodesic.mathdoc.fr/item/RUMI_2016_1_1_2_a7/

Bibliographie
Cité par

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

[2] F. Montagna. Sui limiti di certe teorie. Le Matematiche, 29(1):221-236, 1974. | Zbl

[3] F. Montagna. 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

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

[5] F. Montagna. On the diagonalizable algebra of Peano Arithmetic. Bollettino della Unione Matematica Italiana, (5) 16-B:795-812, 1979. | Zbl

[6] F. Montagna. 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

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

[8] F. Montagna. The undecidability of the first-order theory of diagonalizable algebras. Studia Logica, 39(4):355-359, 1980. | Zbl

[9] F. Montagna e L. Pasini. The equational class corresponding to the modal logic K43W. Suppl. Bollettino della Unione Matematica Italiana, 2:373-385, 1980. | Zbl

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

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

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

[13] F. Montagna. The well-founded algebras. Algebra Universalis, 16(2):38-46, 1983. | Zbl

[14] F. Montagna. A completeness result for fixed point algebras. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 30(1):525-532, 1984. | Zbl

[15] C. Bernardi e F. Montagna. Equivalence relations induced by extensional formulae: Classification by means of a new fixed point property. Fundamenta Mathematicae, 124(3):221-232, 1984. | fulltext EuDML | Zbl

[16] F. Montagna. The predicate modal logic of provability. Notre Dame Journal of Formal Logic, 25(2):179-189, 1984. | Zbl

[17] F. Montagna. 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] F. Montagna e A. Sorbi. Universal recursion theoretic properties of r.e. preordered structures. The Journal of Symbolic Logic, 50(2):179-189, 1985. | Zbl

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

[20] D. De Jongh e F. Montagna. Generic generalized fixed points. Studia Logica, 46(2):193-203, 1987. | Zbl

[21] F. Montagna. Iterated extensional Rosser's fixed points and hyperhyperdiagonalizable algebras. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 33(4):293-303, 1987. | Zbl

[22] F. Montagna e G. Sommaruga. Rosser and Mostowski sentences. Archive for Mathematical Logic, 27(2):115-133, 1988. | Zbl

[23] D. De Jongh e F. Montagna. Provable fixed points. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 34(3):229-250, 1988. | Zbl

[24] F. Montagna. Arithmetical self reference and generalized Rosser formulas. Teoria, 2:145-170, 1988.

[25] F. Montagna e A. Sorbi. Creativeness and completeness in recursion categories of partial recursive operators. The Journal of Symbolic Logic, 54(3):1023-1041, 1989. | Zbl

[26] D. De Jongh e F. Montagna. Much shorter proofs. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 35(3):247-260, 1989. | Zbl

[27] A. Carbone e F. Montagna. Rosser orderings in bimodal logics. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 35(4):343-358, 1989. | Zbl

[28] F. Montagna. Pathologies in two syntactic categories of partial maps. Notre Dame Journal of Formal Logic, 30(1):105-116, 1989. | Zbl

[29] A. Carbone e F. Montagna. Much shorter proofs: a bimodal investigation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 36(1):47-66, 1990. | Zbl

[30] F. Montagna e G. Sommaruga. A note on some extension results. Studia Logica, 49(4):591-600, 1990. | Zbl

[31] F. Montagna. The elementary theory of Lindenbaum fixed point algebras is not arithmetical. PU.M.A Ser A, 1(2):207-216, 1990. | Zbl

[32] P. Hájek e F. Montagna. The logic of $\Pi_1$-conservativity. Archive for Mathematical Logic, 30(2):113-123, 1990.

[33] R.A. Di Paola e F. Montagna. 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

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

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

[36] P. Hájek e F. Montagna. The logic of $\Pi_1$-conservativity continued. Archive for Mathematical Logic, 32(1):57-63, 1992.

[37] F. Montagna. Polynomially and superexponentially shorter proofs in fragments of arithmetic. The Journal of Symbolic Logic, 57(3):844-863, 1992. | Zbl

[38] P. Hájek, F. Montagna, e P. Pudlak. 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

[39] S. Fontani, F. Montagna, e A. Sorbi. A note on relative efficiency of axiom systems. Mathematical Logic Quarterly, 40(2):261-272, 1993. | Zbl

[40] F. Montagna. 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] S. Arteèmov e F. Montagna. On first order theories with provability operators. The Journal of Symbolic Logic, 59(4):1139-1153, 1994. | Zbl

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

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

[44] F. Montagna, G. Simi, e A. Sorbi. Logic and probabilistic systems. Archive for Mathematical Logic, 35(4):225-261, 1996. | Zbl

[45] R.A. Di Paola e F. Montagna. Progressions of theories of bounded arithmetic. In A. Sorbi, editore, Complexity, Logic and Recursion Theory, pp. 123-156. Decker, New York, 1996. | Zbl

[46] F. Montagna. Investigations on measure-one identification of classes of languages. Information and Computation, 143(1):74-107, 1998. | Zbl

[47] F. Montagna, G.M. Pinna, e E.B.P. Tiezzi. Proof systems with cut elimination for MTLQ. In Theoretical computer science (Prato, 1998), pp. 141-152, River Edge, NJ, 1998. World Scientific Publishing.

[48] F. Montagna e G. Simi. Paradigms in measure theoretic learning and in informant learning. Studia Logica, 62(2):243-268, 1999. | Zbl

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

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

[51] F. Montagna. An algebraic approach to propositional fuzzy logic. Journal of Logic, Language, and Information, 9(1):91-124, 2000. 177 | Zbl

[52] F. Montagna, G.M. Pinna, e E.B.P. Tiezzi. A cut-free proof system for bounded metric temporal logic over a dense time domain. Mathematical Logic Quarterly, 46(2):171-182, 2000. | Zbl

[53] F. Montagna. The free BL-algebra on one generator. Neural Network World, 5:837-844, 2000.

[54] F. Montagna. 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] F. Esteva, L. Godo, e F. Montagna. 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

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

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

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

[59] F. Montagna e G. Panti. Adding structure to MV-algebras. Journal of Pure and Applied Algebra, 164(3):365-387, 2001. | Zbl

[60] M. Baaz, P. Hájek, F. Montagna, e H. Veith. Complexity of t-tautologies. Annals of Pure and Applied Logic, 113(1-3):3-11, 2001.

[61] F. Montagna, G.M. Pinna, e E.B.P. Tiezzi. Investigations on fragments of first order branching time logic. Mathematical Logic Quarterly, 48(1):51-62, 2002. | Zbl

[62] S. Jenei e F. Montagna. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica, 70(2):183-192, 2002. | Zbl

[63] F. Esteva, J. Gispert, L. Godo, e F. Montagna. On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica, 71(2):199-226, 2002. | Zbl

[64] F. Montagna e H. Ono. Undecidability and standard completeness for Esteva and Godo's logic $MTL\forall$. Studia Logica, 71(2):227-245, 2002. | Zbl

[65] R. Cignoli, F. Esteva, L. Godo, e F. Montagna. On a class of left continuous t-norms. Fuzzy Sets and Systems, 131(3):283-296, 2002. | Zbl

[66] S. Jenei e F. Montagna. A general method for constructing left-continuous t-norms. Fuzzy Sets and Systems, 136(3):263-282, 2003. | Zbl

[67] F. Montagna, G.M. Pinna, e E.B.P. Tiezzi. A tableau calculus for Hájēk's logic BL. Journal of Logic and Computation, 13(2):241-259, 2003. | Zbl

[68] P. Aglianò e F. Montagna. Varieties of BL-algebras I: General properties. Journal of Pure and Applied Algebra, 181(2-3):105-129, 2003. | Zbl

[69] S. Jenei e F. Montagna. On the continuity points of leftcontinuous t-norms. Archive for Mathematical Logic, 42(8):797-810, 2003. | Zbl

[70] F. Esteva, L. Godo, P. Hájek, e F. Montagna. Hoops and fuzzy logic. Journal of Logic and Computation, 13(4):531-545, 2003. | Zbl

[71] F. Montagna e L. Sacchetti. 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). | DOI | MR | Zbl

[72] L. Magnoni, M. Mirolli, e F. Montagna. PAC learning of probability distributions over a discrete domain. Theoretical Computer Science, 299(1-3):161-200, 2003. | DOI | MR | Zbl

[73] J. Case, S. Jain, F. Montagna, G. Simi, e A. Sorbi. 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

[74] F. Esteva, L. Godo, e F. Montagna. Equational characterization of subvarieties of BL generated by t-norm algebras. Studia Logica, 76(2):161-200, 2004. | DOI | MR | Zbl

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

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

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

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

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

[80] J. Case, S. Jain, F. Montagna, G. Simi, e A. Sorbi. On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Journal of Computer and System Sciences, 71(3):308-332, 2005. | DOI | MR | Zbl

[81] A. Del Lungo, G. Louchard, C. Marini, e Montagna. The guessing secrets problem: a probabilistic approach. Journal of Algorithms, 55(2):142-176, 2005. | DOI | MR | Zbl

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

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

[84] F. Montagna. Generating the variety of BL-algebras. Soft Computing, 9:869-874, 2005. | Zbl

[85] F. Montagna. 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 | Zbl

[86] G. Louchard, C. Marini, F. Montagna, e G. Simi. A variant of the guessing secrets game. Pure Math. Appl, 16(3):295-305, 2005. | MR | Zbl

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

[88] F. Montagna. 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. | DOI | MR | Zbl

[89] F. Montagna, C. Noguera, e R. Hŏrcík. On weakly cancellative Fuzzy Logics. Journal of Logic and Computation, 16(4):423-450, 2006. | DOI | MR | Zbl

[90] F. Bellissima e F. Montagna. Matematica per l'informatica. Aritmetica e logica, probabilità e grafi. Carocci, Roma, 2006.

[91] G. Metcalfe e F. Montagna. Substructural fuzzy logics. The Journal of Symbolic Logic, 72(3):834-864, 2007. | DOI | MR | Zbl

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

[93] P. Aglianò, I.M.A. Ferreirim, e F. Montagna. Basic hoops: an algebraic study of continuous t-norms. Studia Logica, 87(1):73-98, 2007. | DOI | MR | Zbl

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

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

[96] S. Bova e F. Montagna. Proof search in Hájek's Basic Logic. ACM Transactions on Computational Logic, 9(3):(21) 1-26, 2008. | DOI | MR

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

[98] P. Hájek e F. Montagna. A note on the first-order logic of complete BL-chains. Mathematical Logic Quarterly, 54(4):435-446, 2008. | DOI | MR | Zbl

[99] F. Montagna. 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

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

[101] S. Bova e F. Montagna. The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theoretical Computer Science, 410(12-13):1143-1158, 2009. | DOI | MR | Zbl

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

[103] P. Cintula, F. Esteva, J. Gispert, L. Godo, F. Montagna, and C. Noguera. Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Annals Pure Applied Mathematical Logic, 160(1):53-81, 2009. | DOI | MR | Zbl

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

[105] G. Sergioli, A. Ledda, F. Paoli, R. Giuntini, T. Kowlaski, F. Montagna, H. Freytes, e C. Marini. Two cooperative versions of the Guessing Secrets problem. Information Sciences, 179(20):3645-3658, 2009. | DOI | MR | Zbl

[106] T. Flaminio e F. Montagna. MV-algebras with internal states and probabilistic fuzzy logics. International Journal of Approximate Reasoning, 50(1):138-152, 2009. | DOI | MR | Zbl

[107] A. Ciabattoni, G. Metcalfe e F. Montagna. Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets and Systems, 161(3):369-389, 2010. | DOI | MR | Zbl

[108] F. Montagna e C. Noguera. Arithmetical complexity of first order predicate fuzzy logics over distinguished semantics. Journal of Logic and Computation, 20(2):399-424, 2010. | DOI | MR | Zbl

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

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

[111] M. Fedel, H. Hosni, e F. Montagna. A logical characterization of coherence for imprecise probabilities. International Journal of Approximate Reasoning, 52(8):1147-1170, 2011. | DOI | MR | Zbl

[112] F. Montagna. A notion of coherence for books on conditional events in many-valued logic. Journal of Logic and Computation, 21(5):829-850, 2011. | DOI | MR | Zbl

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

[114] F. Montagna. Completeness with respect to a chain and universal models in fuzzy logic. Archive for Mathematical Logic, 50(1-2):161-183, 2011. | DOI | MR | Zbl

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

[116] T. Cortonesi, E. Marchioni, e F. Montagna. Quantifier elimination and other model-theoretic properties of BL-algebras. Notre Dame Journal of Formal Logic, 52(4):339-379, 2011. | DOI | MR | Zbl

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

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

[119] M. Busaniche e F. Montagna. 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 | Zbl

[120] P. Hájek, F. Montagna, e C. Noguera. 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 | Zbl

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

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

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

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

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

[126] M. Fedel, K. Keimel, F. Montagna, e W. Roth. Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Forum Mathematicum, 25(2):405-441, 2013. | DOI | MR | Zbl

[127] M. Fedel, F. Montagna, e G. Scianna. Non-standard probability, coherence and conditional probability on many-valued events. International Journal of Approximate Reasoning, 54(5):573-589, 2013. | DOI | MR | Zbl

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

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

[130] H. Hosni e F. Montagna. 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

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

[132] F. Montagna, G. Simi, e A. Sorbi. Taking the Piraha seriously. Communications in Nonlinear Science and Numerical Simulation, 21(1-3):52-69, 2015. | DOI | MR | Zbl

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

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

[135] V. Marra, F. Montagna, e L. Spada. Logiche polivalenti. In H. Hosni, G. Lolli, e C. Toffalori, editori, Le direzioni della ricerca logica in Italia. Edizioni della Normale, Pisa, 2015.

[136] M. Bongini, A. Ciabattoni, e F. Montagna. Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets and Systems, 292:130-149, 2016. | DOI | MR

[137] E.A. Corsi e F. Montagna. The Rényi-Ulam games and many-valued logics. In corso di stampa su Fuzzy Sets and Systems. | DOI | MR

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