Franco Montagna

Franco Montagna, Martina Fedel, Giuseppe Scianna: Non-standard probability, coherence and conditional probability on many-valued events. Int. J. Approx. Reasoning 54(5): 573-589 (2013)

Franco Montagna, Duccio Pianigiani: A Short Note on Essentially Σ₁ Sentences. Logica Universalis 7(1): 103-111 (2013)

Simone Bova, Franco Montagna: Polynomial space hardness without disjunction property. Theor. Comput. Sci. 467: 1-11 (2013)

Agata Ciabattoni, Franco Montagna: Proof theory for locally finite many-valued logics: Semi-projective logics. Theor. Comput. Sci. 480: 26-42 (2013)

Franco Montagna: Partially Undetermined Many-Valued Events and Their Conditional Probability. J. Philosophical Logic 41(3): 563-593 (2012)

Franco Montagna: Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation. Studia Logica 100(1-2): 289-317 (2012)

Sándor Jenei, Franco Montagna: Two new classification theorems on residuated monoids. ISMVL 2012: 75-78

Franco Montagna: Completeness with respect to a chain and universal models in fuzzy logic. Arch. Math. Log. 50(1-2): 161-183 (2011)

Matteo Bianchi, Franco Montagna: n-Contractive BL-logics. Arch. Math. Log. 50(3-4): 257-285 (2011)

Franco Montagna: Editorial. Logic Journal of the IGPL 19(3): 435-436 (2011)

Martina Fedel, Hykel Hosni, Franco Montagna: A logical characterization of coherence for imprecise probabilities. Int. J. Approx. Reasoning 52(8): 1147-1170 (2011)

Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna: State morphism MV-algebras. Int. J. Approx. Reasoning 52(8): 1215-1228 (2011)

Tommaso Flaminio, Franco Montagna: Models for Many-Valued Probabilistic Reasoning. J. Log. Comput. 21(3): 447-464 (2011)

Franco Montagna: A Notion of Coherence for Books on Conditional Events in Many-valued Logic. J. Log. Comput. 21(5): 829-850 (2011)

Tommaso Cortonesi, Enrico Marchioni, Franco Montagna: Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. Notre Dame Journal of Formal Logic 52(4): 339-379 (2011)

Agata Ciabattoni, George Metcalfe, Franco Montagna: Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets and Systems 161(3): 369-389 (2010)

Franco Montagna, Carles Noguera: Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics. J. Log. Comput. 20(2): 399-424 (2010)

Matteo Bianchi, Franco Montagna: Supersound many-valued logics and Dedekind-MacNeille completions. Arch. Math. Log. 48(8): 719-736 (2009)

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)

Tommaso Flaminio, Franco Montagna: MV-algebras with internal states and probabilistic fuzzy logics. Int. J. Approx. Reasoning 50(1): 138-152 (2009)

Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini: Two cooperative versions of the Guessing Secrets problem. Inf. Sci. 179(20): 3645-3658 (2009)

Rostislav Horcík, Franco Montagna: Archimedean classes in integral commutative residuated chains. Math. Log. Q. 55(3): 320-336 (2009)

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)

Enrico Marchioni, Franco Montagna: On triangular norms and uninorms definable in Pi 1/2. Int. J. Approx. Reasoning 47(2): 179-201 (2008)

Petr Hájek, Franco Montagna: A note on the first-order logic of complete BL-chains. Math. Log. Q. 54(4): 435-446 (2008)

Simone Bova, Franco Montagna: Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9(3) (2008)

Franco Montagna, Claudio Marini, Giulia Simi: Product logic and probabilistic Ulam games. Fuzzy Sets and Systems 158(6): 639-651 (2007)

George Metcalfe, Franco Montagna: Substructural fuzzy logics. J. Symb. Log. 72(3): 834-864 (2007)

Enrico Marchioni, Franco Montagna: Complexity and Definability Issues in L Pi 1/2. J. Log. Comput. 17(2): 311-331 (2007)

P. Aglianò, Isabel M. A. Ferreirim, Franco Montagna: Basic Hoops: an Algebraic Study of Continuous t -norms. Studia Logica 87(1): 73-98 (2007)

Tommaso Flaminio, Franco Montagna: An Algebraic Approach to States on MV-algebras. EUSFLAT Conf. (2) 2007: 201-206

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)

Franco Montagna, Carles Noguera, Rostislav Horcík: On Weakly Cancellative Fuzzy Logics. J. Log. Comput. 16(4): 423-450 (2006)

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

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

Simone Bova, Franco Montagna: Proof Search in Hajek's Basic Logic. CoRR abs/cs/0605094 (2006)

Franco Montagna: On the predicate logics of continuous t-norm BL-algebras. Arch. Math. Log. 44(1): 97-114 (2005)

Tommaso Flaminio, Franco Montagna: A logical and algebraic treatment of conditional probability. Arch. Math. Log. 44(2): 245-262 (2005)

Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna: The Guessing Secrets problem: a probabilistic approach. J. Algorithms 55(2): 142-176 (2005)

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)

Franco Montagna, Luca Spada: Continuous approximations of product implication in MV-algebras with product. Soft Comput. 9(3): 149-154 (2005)

Franco Montagna: Generating the variety of BL-algebras. Soft Comput. 9(12): 869-874 (2005)

Antonio di Nola, Francesc Esteva, Lluis Godo, Franco Montagna: Varieties of BL-algebras. Soft Comput. 9(12): 875-888 (2005)

Matthias Baaz, Agata Ciabattoni, Franco Montagna: Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Inform. 59(4): 315-332 (2004)

Franco Montagna: Storage Operators and Multiplicative Quantifiers in Many-valued Logics. J. Log. Comput. 14(2): 299-322 (2004)

Franco Montagna, Lorenzo Sacchetti: Corrigendum to "Kripke-style semantics for many-valued logics". Math. Log. Q. 50(1): 104-107 (2004)

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)

Sándor Jenei, Franco Montagna: On the continuity points of left-continuous t-norms. Arch. Math. Log. 42(8): 797-810 (2003)

Sándor Jenei, Franco Montagna: A general method for constructing left-continuous t-norms. Fuzzy Sets and Systems 136(3): 263-282 (2003)

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)

Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna: Hoops and Fuzzy Logic. J. Log. Comput. 13(4): 532-555 (2003)

Franco Montagna, Lorenzo Sacchetti: Kripke-style semantics for many-valued logics. Math. Log. Q. 49(6): 629-641 (2003)

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)

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

Francesc Esteva, Lluis Godo, Franco Montagna: Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. IFSA 2003: 172-179

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)

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)

Sándor Jenei, Franco Montagna: A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Studia Logica 70(2): 183-192 (2002)

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)

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)

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)

Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith: Complexity of t-tautologies. Ann. Pure Appl. Logic 113(1-3): 3-11 (2001)

Franco Montagna: Three Complexity Problems in Quantified Fuzzy Logic. Studia Logica 68(1): 143-152 (2001)

Franco Montagna: An Algebraic Approach to Propositional Fuzzy Logic. Journal of Logic, Language and Information 9(1): 91-124 (2000)

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)

Franco Montagna, Giulia Simi: Paradigms in Measure Theoretic Learning and in Informant Learning. Studia Logica 62(2): 243-268 (1999)

Duccio Luchi, Franco Montagna: An Operational Logic of Proofs with Positive and Negative Information. Studia Logica 63(1): 7-25 (1999)

Franco Montagna: Investigations on Measure-One Identification of Classes of Languages. Inf. Comput. 143(1): 74-107 (1998)

Franco Montagna: An algebraic treatment of quantifier-free systems of arithmetic. Arch. Math. Log. 35(4): 209-224 (1996)

Franco Montagna, Giulia Simi, Andrea Sorbi: Logic and probabilistic systems. Arch. Math. Log. 35(4): 225-261 (1996)

Sergei N. Artëmov, Franco Montagna: On First-Order Theories with Provability Operator. J. Symb. Log. 59(4): 1139-1153 (1994)

Andrea Sorbi, Sandra Fontani, Franco Montagna: A Note on Relative Efficiency of Axiom Systems. Math. Log. Q. 40: 261-272 (1994)

Franco Montagna, Antonella Mancini: A Minimal Predicative Set Theory. Notre Dame Journal of Formal Logic 35(2): 186-203 (1994)

Franco Montagna: Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. J. Symb. Log. 57(3): 844-863 (1992)

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)

Franco Montagna, Andrea Sorbi: Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. J. Symb. Log. 54(3): 1023-1041 (1989)

Franco Montagna: "Pathologies" in Two Syntactic Categories of Partial Maps. Notre Dame Journal of Formal Logic 30(1): 105-116 (1989)

Franco Montagna: Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation. J. Symb. Log. 52(2): 494-511 (1987)

Franco Montagna, Andrea Sorbi: Universal Recursion Theoretic Properties of R.E. Preordered Structures. J. Symb. Log. 50(2): 397-406 (1985)