Franco Montagna

	2009
57		Petr Cintula, Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna, Carles Noguera: Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann. Pure Appl. Logic 160(1): 53-81 (2009)
56		G. Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, T. Kowalski, Franco Montagna, Hector Freytes, Claudio Marini: Two cooperative versions of the Guessing Secrets problem. Inf. Sci. 179(20): 3645-3658 (2009)
55		Tommaso Flaminio, Franco Montagna: MV-algebras with internal states and probabilistic fuzzy logics. Int. J. Approx. Reasoning 50(1): 138-152 (2009)
54		Simone Bova, Franco Montagna: The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. 410(12-13): 1143-1158 (2009)
	2008
53		Simone Bova, Franco Montagna: Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9(3): (2008)
52		Enrico Marchioni, Franco Montagna: On triangular norms and uninorms definable in Pi 1/2. Int. J. Approx. Reasoning 47(2): 179-201 (2008)
51		Petr Hájek, Franco Montagna: A note on the first-order logic of complete BL-chains. Math. Log. Q. 54(4): 435-446 (2008)
	2007
50		Tommaso Flaminio, Franco Montagna: An Algebraic Approach to States on MV-algebras. EUSFLAT Conf. (2) 2007: 201-206
49		Franco Montagna, Claudio Marini, Giulia Simi: Product logic and probabilistic Ulam games. Fuzzy Sets and Systems 158(6): 639-651 (2007)
48		Enrico Marchioni, Franco Montagna: Complexity and Definability Issues in L Pi 1/2. J. Log. Comput. 17(2): 311-331 (2007)
47		P. Aglianò, Isabel M. A. Ferreirim, Franco Montagna: Basic Hoops: an Algebraic Study of Continuous t -norms. Studia Logica 87(1): 73-98 (2007)
	2006
46		Sándor Jenei, Franco Montagna: Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 231-246
45		Franco Montagna: Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 247-274
44		Franco Montagna: Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. Ann. Pure Appl. Logic 141(1-2): 148-179 (2006)
43		Simone Bova, Franco Montagna: Proof Search in Hajek's Basic Logic CoRR abs/cs/0605094: (2006)
42		Franco Montagna, Carles Noguera, Rostislav Horcík: On Weakly Cancellative Fuzzy Logics. J. Log. Comput. 16(4): 423-450 (2006)
	2005
41		Franco Montagna: On the predicate logics of continuous t-norm BL-algebras. Arch. Math. Log. 44(1): 97-114 (2005)
40		Tommaso Flaminio, Franco Montagna: A logical and algebraic treatment of conditional probability. Arch. Math. Log. 44(2): 245-262 (2005)
39		Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna: The Guessing Secrets problem: a probabilistic approach. J. Algorithms 55(2): 142-176 (2005)
38		John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi: On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. J. Comput. Syst. Sci. 71(3): 308-332 (2005)
37		Franco Montagna: Generating the variety of BL-algebras. Soft Comput. 9(12): 869-874 (2005)
36		Antonio di Nola, Francesc Esteva, Lluis Godo, Franco Montagna: Varieties of BL-algebras. Soft Comput. 9(12): 875-888 (2005)
35		Franco Montagna, Luca Spada: Continuous approximations of product implication in MV-algebras with product. Soft Comput. 9(3): 149-154 (2005)
	2004
34		Matthias Baaz, Agata Ciabattoni, Franco Montagna: Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Inform. 59(4): 315-332 (2004)
33		Franco Montagna: Storage Operators and Multiplicative Quantifiers in Many-valued Logics. J. Log. Comput. 14(2): 299-322 (2004)
32		Franco Montagna, Lorenzo Sacchetti: Corrigendum to "Kripke-style semantics for many-valued logics". Math. Log. Q. 50(1): 104-107 (2004)
31		Francesc Esteva, Lluis Godo, Franco Montagna: Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. Studia Logica 76(2): 161-200 (2004)
	2003
30		John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi: On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms. COLT 2003: 699-713
29		Francesc Esteva, Lluis Godo, Franco Montagna: Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. IFSA 2003: 172-179
28		Sándor Jenei, Franco Montagna: On the continuity points of left-continuous t-norms. Arch. Math. Log. 42(8): 797-810 (2003)
27		Sándor Jenei, Franco Montagna: A general method for constructing left-continuous t-norms. Fuzzy Sets and Systems 136(3): 263-282 (2003)
26		Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi: A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. 13(2): 241-259 (2003)
25		Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna: Hoops and Fuzzy Logic. J. Log. Comput. 13(4): 532-555 (2003)
24		Franco Montagna, Lorenzo Sacchetti: Kripke-style semantics for many-valued logics. Math. Log. Q. 49(6): 629-641 (2003)
23		Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi: PAC learning of probability distributions over a discrete domain. Theor. Comput. Sci. 1-3(299): 37-63 (2003)
	2002
22		Roberto Cignoli, Francesc Esteva, Lluis Godo, Franco Montagna: On a class of left-continuous t-norms. Fuzzy Sets and Systems 131(3): 283-296 (2002)
21		Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi: Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. 48(1): 51-62 (2002)
20		Sándor Jenei, Franco Montagna: A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Studia Logica 70(2): 183-192 (2002)
19		Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna: On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica 71(2): 199-226 (2002)
18		Franco Montagna, Hiroakira Ono: Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. Studia Logica 71(2): 227-245 (2002)
	2001
17		Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith: Complexity of t-tautologies. Ann. Pure Appl. Logic 113(1-3): 3-11 (2001)
16		Francesc Esteva, Lluis Godo, Franco Montagna: The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. Arch. Math. Log. 40(1): 39-67 (2001)
15		Franco Montagna: Three Complexity Problems in Quantified Fuzzy Logic. Studia Logica 68(1): 143-152 (2001)
	2000
14		Franco Montagna: An Algebraic Approach to Propositional Fuzzy Logic. Journal of Logic, Language and Information 9(1): 91-124 (2000)
13		Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi: A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. Math. Log. Q. 46(2): 171-182 (2000)
	1999
12		Franco Montagna, Giulia Simi: Paradigms in Measure Theoretic Learning and in Informant Learning. Studia Logica 62(2): 243-268 (1999)
11		Duccio Luchi, Franco Montagna: An Operational Logic of Proofs with Positive and Negative Information. Studia Logica 63(1): 7-25 (1999)
	1998
10		Franco Montagna: Investigations on Measure-One Identification of Classes of Languages. Inf. Comput. 143(1): 74-107 (1998)
	1994
9		Sergei N. Artëmov, Franco Montagna: On First-Order Theories with Provability Operator. J. Symb. Log. 59(4): 1139-1153 (1994)
8		Andrea Sorbi, Sandra Fontani, Franco Montagna: A Note on Relative Efficiency of Axiom Systems. Math. Log. Q. 40: 261-272 (1994)
7		Franco Montagna, Antonella Mancini: A Minimal Predicative Set Theory. Notre Dame Journal of Formal Logic 35(2): 186-203 (1994)
	1992
6		Franco Montagna: Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. J. Symb. Log. 57(3): 844-863 (1992)
	1991
5		Robert A. Di Paola, Franco Montagna: Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. J. Symb. Log. 56(2): 643-660 (1991)
	1989
4		Franco Montagna, Andrea Sorbi: Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. J. Symb. Log. 54(3): 1023-1041 (1989)
3		Franco Montagna: ``Pathologies'' in Two Syntactic Categories of Partial Maps. Notre Dame Journal of Formal Logic 30(1): 105-116 (1989)
	1987
2		Franco Montagna: Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation. J. Symb. Log. 52(2): 494-511 (1987)
	1985
1		Franco Montagna, Andrea Sorbi: Universal Recursion Theoretic Properties of R.E. Preordered Structures. J. Symb. Log. 50(2): 397-406 (1985)

Coauthor Index

1	P. Aglianò	[47]
2	Sergei N. Artëmov	[9]
3	Matthias Baaz	[17] [34]
4	Simone Bova	[43] [53] [54]
5	John Case	[30] [38]
6	Agata Ciabattoni	[34]
7	Roberto Cignoli	[22]
8	Petr Cintula	[57]
9	Francesc Esteva	[16] [19] [22] [25] [29] [31] [36] [57]
10	Isabel M. A. Ferreirim	[47]
11	Tommaso Flaminio	[40] [50] [55]
12	Sandra Fontani	[8]
13	Hector Freytes	[56]
14	Joan Gispert	[19] [57]
15	Roberto Giuntini	[56]
16	Lluis Godo	[16] [19] [22] [25] [29] [31] [36] [57]
17	Petr Hájek	[17] [25] [51]
18	Rostislav Horcík	[42]
19	Sanjay Jain	[30] [38]
20	Sándor Jenei	[20] [27] [28] [46]
21	T. Kowalski	[56]
22	Antonio Ledda	[56]
23	Guy Louchard	[39]
24	Duccio Luchi	[11]
25	Alberto Del Lungo	[39]
26	Letizia Magnoni	[23]
27	Antonella Mancini	[7]
28	Enrico Marchioni	[48] [52]
29	Claudio Marini	[39] [49] [56]
30	Massimo Mirolli	[23]
31	Carles Noguera	[42] [57]
32	Antonio di Nola	[36]
33	Hiroakira Ono	[18]
34	Robert A. Di Paola	[5]
35	Francesco Paoli	[56]
36	G. Michele Pinna	[13] [21] [26]
37	Lorenzo Sacchetti	[24] [32]
38	G. Sergioli	[56]
39	Giulia Simi	[12] [23] [30] [38] [49]
40	Andrea Sorbi	[1] [4] [8] [30] [38]
41	Luca Spada	[35]
42	Elisa B. P. Tiezzi	[13] [21] [26]
43	Helmut Veith	[17]

Colors in the list of coauthors