Franco Montagna

2009
55	EE	Tommaso Flaminio, Franco Montagna: MV-algebras with internal states and probabilistic fuzzy logics. Int. J. Approx. Reasoning 50(1): 138-152 (2009)
54	EE	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	EE	Simone Bova, Franco Montagna: Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9(3): (2008)
52	EE	Enrico Marchioni, Franco Montagna: On triangular norms and uninorms definable in Pi 1/2. Int. J. Approx. Reasoning 47(2): 179-201 (2008)
51	EE	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	EE	Tommaso Flaminio, Franco Montagna: An Algebraic Approach to States on MV-algebras. EUSFLAT Conf. (2) 2007: 201-206
49	EE	Franco Montagna, Claudio Marini, Giulia Simi: Product logic and probabilistic Ulam games. Fuzzy Sets and Systems 158(6): 639-651 (2007)
48	EE	Enrico Marchioni, Franco Montagna: Complexity and Definability Issues in L Pi 1/2. J. Log. Comput. 17(2): 311-331 (2007)
47	EE	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	EE	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	EE	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	EE	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	EE	Simone Bova, Franco Montagna: Proof Search in Hajek's Basic Logic CoRR abs/cs/0605094: (2006)
42	EE	Franco Montagna, Carles Noguera, Rostislav Horcík: On Weakly Cancellative Fuzzy Logics. J. Log. Comput. 16(4): 423-450 (2006)
2005
41	EE	Franco Montagna: On the predicate logics of continuous t-norm BL-algebras. Arch. Math. Log. 44(1): 97-114 (2005)
40	EE	Tommaso Flaminio, Franco Montagna: A logical and algebraic treatment of conditional probability. Arch. Math. Log. 44(2): 245-262 (2005)
39	EE	Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna: The Guessing Secrets problem: a probabilistic approach. J. Algorithms 55(2): 142-176 (2005)
38	EE	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	EE	Franco Montagna: Generating the variety of BL-algebras. Soft Comput. 9(12): 869-874 (2005)
36	EE	Antonio di Nola, Francesc Esteva, Lluis Godo, Franco Montagna: Varieties of BL-algebras. Soft Comput. 9(12): 875-888 (2005)
35	EE	Franco Montagna, Luca Spada: Continuous approximations of product implication in MV-algebras with product. Soft Comput. 9(3): 149-154 (2005)
2004
34	EE	Matthias Baaz, Agata Ciabattoni, Franco Montagna: Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Inform. 59(4): 315-332 (2004)
33	EE	Franco Montagna: Storage Operators and Multiplicative Quantifiers in Many-valued Logics. J. Log. Comput. 14(2): 299-322 (2004)
32	EE	Franco Montagna, Lorenzo Sacchetti: Corrigendum to "Kripke-style semantics for many-valued logics". Math. Log. Q. 50(1): 104-107 (2004)
31	EE	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	EE	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	EE	Francesc Esteva, Lluis Godo, Franco Montagna: Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. IFSA 2003: 172-179
28	EE	Sándor Jenei, Franco Montagna: On the continuity points of left-continuous t-norms. Arch. Math. Log. 42(8): 797-810 (2003)
27	EE	Sándor Jenei, Franco Montagna: A general method for constructing left-continuous t-norms. Fuzzy Sets and Systems 136(3): 263-282 (2003)
26	EE	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	EE	Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna: Hoops and Fuzzy Logic. J. Log. Comput. 13(4): 532-555 (2003)
24	EE	Franco Montagna, Lorenzo Sacchetti: Kripke-style semantics for many-valued logics. Math. Log. Q. 49(6): 629-641 (2003)
23	EE	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	EE	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	EE	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	EE	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	EE	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	Francesc Esteva	[16] [19] [22] [25] [29] [31] [36]
9	Isabel M. A. Ferreirim	[47]
10	Tommaso Flaminio	[40] [50] [55]
11	Sandra Fontani	[8]
12	Joan Gispert	[19]
13	Lluis Godo	[16] [19] [22] [25] [29] [31] [36]
14	Petr Hájek	[17] [25] [51]
15	Rostislav Horcík	[42]
16	Sanjay Jain	[30] [38]
17	Sándor Jenei	[20] [27] [28] [46]
18	Guy Louchard	[39]
19	Duccio Luchi	[11]
20	Alberto Del Lungo	[39]
21	Letizia Magnoni	[23]
22	Antonella Mancini	[7]
23	Enrico Marchioni	[48] [52]
24	Claudio Marini	[39] [49]
25	Massimo Mirolli	[23]
26	Carles Noguera	[42]
27	Antonio di Nola	[36]
28	Hiroakira Ono	[18]
29	Robert A. Di Paola	[5]
30	G. Michele Pinna	[13] [21] [26]
31	Lorenzo Sacchetti	[24] [32]
32	Giulia Simi	[12] [23] [30] [38] [49]
33	Andrea Sorbi	[1] [4] [8] [30] [38]
34	Luca Spada	[35]
35	Elisa B. P. Tiezzi	[13] [21] [26]
36	Helmut Veith	[17]

Colors in the list of coauthors