Relatively precomplete numerations and arithmetic. - Franco Montagna (J. Philos. Log., 1982)

Zfc-Models as Kripke-Models. - Franco Montagna (Math. Log. Q., 1983)

A Completeness Result for Fixed-Point Algebras. - Franco Montagna (Math. Log. Q., 1984)

The predicate modal logic of provability. - Franco Montagna (Notre Dame J. Formal Log., 1984)

Universal Recursion Theoretic Properties of R.E. Preordered Structures. - Franco Montagna; Andrea Sorbi (J. Symb. Log., 1985)

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

Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras. - Franco Montagna (Math. Log. Q., 1987)

Generic generalized Rosser fixed points. - Dick H. J. Jongh; Franco Montagna (Stud Logica, 1987)

Rosser and mostowski sentences. - Franco Montagna; Giovanni Sommaruga (Arch. Math. Log., 1988)

Provable Fixed Points. - Dick De Jongh; Franco Montagna (Math. Log. Q., 1988)

Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. - Franco Montagna; Andrea Sorbi (J. Symb. Log., 1989)

Rosser Orderings in Bimodal Logics. - Alessandra Carbone; Franco Montagna (Math. Log. Q., 1989)

Much Shorter Proofs. - Dick de Jongh; Franco Montagna (Math. Log. Q., 1989)

"Pathologies" in Two Syntactic Categories of Partial Maps. - Franco Montagna (Notre Dame J. Formal Log., 1989)

The logic of π1-conservativity. - Petr Hájek 001; Franco Montagna (Arch. Math. Log., 1990)

Much shorter proofs: A bimodal investigation. - Alessandra Carbone; Franco Montagna (Math. Log. Q., 1990)

A note on some extension results. - Franco Montagna; Giovanni Sommaruga (Stud Logica, 1990)

Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. - Robert A. Di Paola; Franco Montagna (J. Symb. Log., 1991)

On the proof of Solovay's theorem. - Dick de Jongh; Marc Jumelet; Franco Montagna (Stud Logica, 1991)

Rosser orderings and free variables. - Dick de Jongh; Franco Montagna (Stud Logica, 1991)

The logic ofII1-conservativity continued. - Petr Hájek 001; Franco Montagna (Arch. Math. Log., 1992)

Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. - Franco Montagna (J. Symb. Log., 1992)

On First-Order Theories with Provability Operator. - Sergei N. Artëmov; Franco Montagna (J. Symb. Log., 1994)

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

A Minimal Predicative Set Theory. - Franco Montagna; Antonella Mancini (Notre Dame J. Formal Log., 1994)

An algebraic treatment of quantifier-free systems of arithmetic. - Franco Montagna (Arch. Math. Log., 1996)

Logic and probabilistic systems. - Franco Montagna; Giulia Simi; Andrea Sorbi (Arch. Math. Log., 1996)

Investigations on Measure-One Identification of Classes of Languages. - Franco Montagna (Inf. Comput., 1998)

An Operational Logic of Proofs with Positive and Negative Information. - Duccio Luchi; Franco Montagna (Stud Logica, 1999)

Paradigms in Measure Theoretic Learning and in Informant Learning. - Franco Montagna; Giulia Simi (Stud Logica, 1999)

Learning to Coordinate; a Recursion Theoretic Perspective. - Franco Montagna; Daniel N. Osherson (Synth., 1999)

An Algebraic Approach to Propositional Fuzzy Logic. - Franco Montagna (J. Log. Lang. Inf., 2000)

A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (Math. Log. Q., 2000)

The LPL Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. - Francesc Esteva; Lluís Godo; Franco Montagna (Arch. Math. Log., 2001)

Complexity of t-tautologies. - Matthias Baaz; Petr Hájek 001; Franco Montagna; Helmut Veith (Ann. Pure Appl. Log., 2001)

Three Complexity Problems in Quantified Fuzzy Logic. - Franco Montagna (Stud Logica, 2001)

On a class of left-continuous t-norms. - Roberto Cignoli; Francesc Esteva; Lluís Godo; Franco Montagna (Fuzzy Sets Syst., 2002)

Investigations on Fragments of First Order Branching Temporal Logic. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (Math. Log. Q., 2002)

On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. - Francesc Esteva; Joan Gispert; Lluís Godo; Franco Montagna (Stud Logica, 2002)

A Proof of Standard Completeness for Esteva and Godo's Logic MTL. - Sándor Jenei; Franco Montagna (Stud Logica, 2002)

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. - Franco Montagna; Hiroakira Ono (Stud Logica, 2002)

Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. - Francesc Esteva; Lluís Godo; Franco Montagna (IFSA, 2003)

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

A general method for constructing left-continuous t-norms. - Sándor Jenei; Franco Montagna (Fuzzy Sets Syst., 2003)

Hoops and Fuzzy Logic. - Francesc Esteva; Lluís Godo; Petr Hájek 001; Franco Montagna (J. Log. Comput., 2003)

A Tableau Calculus for Hájek's Logic BL. - Franco Montagna; G. Michele Pinna; Elisa B. P. Tiezzi (J. Log. Comput., 2003)

Kripke-style semantics for many-valued logics. - Franco Montagna; Lorenzo Sacchetti (Math. Log. Q., 2003)

PAC learning of probability distributions over a discrete domain. - Letizia Magnoni; Massimo Mirolli; Franco Montagna; Giulia Simi (Theor. Comput. Sci., 2003)

Analytic Calculi for Monoidal T-norm Based Logic. - Matthias Baaz; Agata Ciabattoni; Franco Montagna (Fundam. Informaticae, 2004)

Storage Operators and Multiplicative Quantifiers in Many-valued Logics. - Franco Montagna (J. Log. Comput., 2004)

Corrigendum to "Kripke-style semantics for many-valued logics". - Franco Montagna; Lorenzo Sacchetti (Math. Log. Q., 2004)

Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. - Francesc Esteva; Lluís Godo; Franco Montagna (Stud Logica, 2004)

A logical and algebraic treatment of conditional probability. - Tommaso Flaminio; Franco Montagna (Arch. Math. Log., 2005)

On the predicate logics of continuous t-norm BL-algebras. - Franco Montagna (Arch. Math. Log., 2005)

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

On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. - John Case; Sanjay Jain 001; Franco Montagna; Giulia Simi; Andrea Sorbi (J. Comput. Syst. Sci., 2005)

Generating the variety of BL-algebras. - Franco Montagna (Soft Comput., 2005)

Continuous approximations of product implication in MV-algebras with product. - Franco Montagna; Luca Spada (Soft Comput., 2005)

Varieties of BL-algebras. - Antonio Di Nola; Francesc Esteva; Lluís Godo; Franco Montagna (Soft Comput., 2005)

Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. - Sándor Jenei; Franco Montagna (Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006)

Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. - Franco Montagna (Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006)

Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. - Franco Montagna (Ann. Pure Appl. Log., 2006)

On Weakly Cancellative Fuzzy Logics. - Franco Montagna; Carles Noguera; Rostislav Horcík (J. Log. Comput., 2006)

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

Product logic and probabilistic Ulam games. - Franco Montagna; Claudio Marini; Giulia Simi (Fuzzy Sets Syst., 2007)

Substructural fuzzy logics. - George Metcalfe; Franco Montagna (J. Symb. Log., 2007)

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

Basic Hoops: an Algebraic Study of Continuous t -norms. - Paolo Aglianò; Isabel M. A. Ferreirim; Franco Montagna (Stud Logica, 2007)

On triangular norms and uninorms definable in Pi 1/2. - Enrico Marchioni; Franco Montagna (Int. J. Approx. Reason., 2008)

A note on the first-order logic of complete BL-chains. - Petr Hájek 001; Franco Montagna (Math. Log. Q., 2008)

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

Supersound many-valued logics and Dedekind-MacNeille completions. - Matteo Bianchi 001; Franco Montagna (Arch. Math. Log., 2009)

Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. - Petr Cintula; Francesc Esteva; Joan Gispert; Lluís Godo; Franco Montagna; Carles Noguera (Ann. Pure Appl. Log., 2009)

MV-algebras with internal states and probabilistic fuzzy logics. - Tommaso Flaminio; Franco Montagna (Int. J. Approx. Reason., 2009)

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

Archimedean classes in integral commutative residuated chains. - Rostislav Horcík; Franco Montagna (Math. Log. Q., 2009)

The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. - Simone Bova; Franco Montagna (Theor. Comput. Sci., 2009)

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. - Agata Ciabattoni; George Metcalfe; Franco Montagna (Fuzzy Sets Syst., 2010)

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

n-Contractive BL-logics. - Matteo Bianchi 001; Franco Montagna (Arch. Math. Log., 2011)

Completeness with respect to a chain and universal models in fuzzy logic. - Franco Montagna (Arch. Math. Log., 2011)

Editorial. - Franco Montagna (Log. J. IGPL, 2011)

State morphism MV-algebras. - Anatolij Dvurecenskij; Tomasz Kowalski; Franco Montagna (Int. J. Approx. Reason., 2011)

A logical characterization of coherence for imprecise probabilities. - Martina Fedel; Hykel Hosni; Franco Montagna (Int. J. Approx. Reason., 2011)

Models for Many-Valued Probabilistic Reasoning. - Tommaso Flaminio; Franco Montagna (J. Log. Comput., 2011)

A Notion of Coherence for Books on Conditional Events in Many-valued Logic. - Franco Montagna (J. Log. Comput., 2011)

Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. - Tommaso Cortonesi; Enrico Marchioni; Franco Montagna (Notre Dame J. Formal Log., 2011)

Two new classification theorems on residuated monoids. - Sándor Jenei; Franco Montagna (ISMVL, 2012)

Partially Undetermined Many-Valued Events and Their Conditional Probability. - Franco Montagna (J. Philos. Log., 2012)

Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation. - Franco Montagna (Stud Logica, 2012)

Non-standard probability, coherence and conditional probability on many-valued events. - Franco Montagna; Martina Fedel; Giuseppe Scianna (Int. J. Approx. Reason., 2013)

Strongly involutive uninorm algebras. - Sándor Jenei; Franco Montagna (J. Log. Comput., 2013)

A Short Note on Essentially Σ1 Sentences. - Franco Montagna; Duccio Pianigiani (Logica Universalis, 2013)

Polynomial space hardness without disjunction property. - Simone Bova; Franco Montagna (Theor. Comput. Sci., 2013)

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

Stable Non-standard Imprecise Probabilities. - Hykel Hosni; Franco Montagna (IPMU (3), 2014)

Taking the Pirahã seriously. - Franco Montagna; Giulia Simi; Andrea Sorbi (Commun. Nonlinear Sci. Numer. Simul., 2015)

Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. - Matteo Bianchi 001; Franco Montagna (Stud Logica, 2015)

Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. - Matteo Bianchi 001; Franco Montagna (Stud Logica, 2015)

A Categorical Equivalence for Product Algebras. - Franco Montagna; Sara Ugolini (Stud Logica, 2015)

A classification of certain group-like FLe-chains. - Sándor Jenei; Franco Montagna (Synth., 2015)

Proof search and Co-NP completeness for many-valued logics. - Mattia Bongini; Agata Ciabattoni; Franco Montagna (Fuzzy Sets Syst., 2016)

The Rényi-Ulam games and many-valued logics. - Esther Anna Corsi; Franco Montagna (Fuzzy Sets Syst., 2016)

Erratum to: A classification of certain group-like FLe-chains. - Sándor Jenei; Franco Montagna (Synth., 2016)

Strict Coherence on Many-Valued Events. - Tommaso Flaminio; Hykel Hosni; Franco Montagna (J. Symb. Log., 2018)

Varieties of BL-Algebras II. - Paolo Aglianò; Franco Montagna (Stud Logica, 2018)