Franco Montagna

According to our database, Franco Montagna authored at least 106 papers between 1982 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Varieties of BL-Algebras II.

Paolo Aglianò, Franco Montagna

Stud Logica, 2018

Strict Coherence on Many-Valued Events.

Tommaso Flaminio, Hykel Hosni, Franco Montagna

J. Symb. Log., 2018

2016

Erratum to: A classification of certain group-like FL_e-chains.

Sándor Jenei, Franco Montagna

Synth., 2016

The Rényi-Ulam games and many-valued logics.

Esther Anna Corsi, Franco Montagna

Fuzzy Sets Syst., 2016

Proof search and Co-NP completeness for many-valued logics.

Mattia Bongini, Agata Ciabattoni, Franco Montagna

Fuzzy Sets Syst., 2016

2015

A classification of certain group-like FL_e-chains.

Sándor Jenei, Franco Montagna

Synth., 2015

A Categorical Equivalence for Product Algebras.

Franco Montagna, Sara Ugolini

Stud Logica, 2015

Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.

Matteo Bianchi, Franco Montagna

Stud Logica, 2015

Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL.

Matteo Bianchi, Franco Montagna

Stud Logica, 2015

Taking the Pirahã seriously.

Franco Montagna, Giulia Simi, Andrea Sorbi

Commun. Nonlinear Sci. Numer. Simul., 2015

2014

Stable Non-standard Imprecise Probabilities.

Hykel Hosni, Franco Montagna

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

2013

Proof theory for locally finite many-valued logics: Semi-projective logics.

Agata Ciabattoni, Franco Montagna

Theor. Comput. Sci., 2013

Polynomial space hardness without disjunction property.

Simone Bova, Franco Montagna

Theor. Comput. Sci., 2013

A Short Note on Essentially Σ₁ Sentences.

Franco Montagna, Duccio Pianigiani

Logica Universalis, 2013

Strongly involutive uninorm algebras.

Sándor Jenei, Franco Montagna

J. Log. Comput., 2013

Non-standard probability, coherence and conditional probability on many-valued events.

Franco Montagna, Martina Fedel, Giuseppe Scianna

Int. J. Approx. Reason., 2013

2012

Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.

Franco Montagna

Stud Logica, 2012

Partially Undetermined Many-Valued Events and Their Conditional Probability.

Franco Montagna

J. Philos. Log., 2012

Two new classification theorems on residuated monoids.

Sándor Jenei, Franco Montagna

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

2011

Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.

Tommaso Cortonesi, Enrico Marchioni, Franco Montagna

Notre Dame J. Formal Log., 2011

A Notion of Coherence for Books on Conditional Events in Many-valued Logic.

Franco Montagna

J. Log. Comput., 2011

Models for Many-Valued Probabilistic Reasoning.

Tommaso Flaminio, Franco Montagna

J. Log. Comput., 2011

A logical characterization of coherence for imprecise probabilities.

Martina Fedel, Hykel Hosni, Franco Montagna

Int. J. Approx. Reason., 2011

State morphism MV-algebras.

Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna

Int. J. Approx. Reason., 2011

Editorial.

Franco Montagna

Log. J. IGPL, 2011

Completeness with respect to a chain and universal models in fuzzy logic.

Franco Montagna

Arch. Math. Log., 2011

<i>n</i>-Contractive BL-logics.

Matteo Bianchi, Franco Montagna

Arch. Math. Log., 2011

2010

Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics.

Franco Montagna, Carles Noguera

J. Log. Comput., 2010

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions.

Agata Ciabattoni, George Metcalfe, Franco Montagna

Fuzzy Sets Syst., 2010

2009

The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete.

Simone Bova, Franco Montagna

Theor. Comput. Sci., 2009

Archimedean classes in integral commutative residuated chains.

Rostislav Horcík, Franco Montagna

Math. Log. Q., 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

MV-algebras with internal states and probabilistic fuzzy logics.

Tommaso Flaminio, Franco Montagna

Int. J. Approx. Reason., 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

Supersound many-valued logics and Dedekind-MacNeille completions.

Matteo Bianchi, Franco Montagna

Arch. Math. Log., 2009

2008

Proof search in Hájek's basic logic.

Simone Bova, Franco Montagna

ACM Trans. Comput. Log., 2008

A note on the first-order logic of complete BL-chains.

Petr Hájek, Franco Montagna

Math. Log. Q., 2008

On triangular norms and uninorms definable in Pi 1/2.

Enrico Marchioni, Franco Montagna

Int. J. Approx. Reason., 2008

2007

Basic Hoops: an Algebraic Study of Continuous <i>t</i> -norms.

Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna

Stud Logica, 2007

Complexity and Definability Issues in L Pi 1/2.

Enrico Marchioni, Franco Montagna

J. Log. Comput., 2007

Substructural fuzzy logics.

George Metcalfe, Franco Montagna

J. Symb. Log., 2007

Product logic and probabilistic Ulam games.

Franco Montagna, Claudio Marini, Giulia Simi

Fuzzy Sets Syst., 2007

An Algebraic Approach to States on MV-algebras.

Tommaso Flaminio, Franco Montagna

Proceedings of the New Dimensions in Fuzzy Logic and Related Technologies. Proceedings of the 5th EUSFLAT Conference, 2007

2006

On Weakly Cancellative Fuzzy Logics.

Franco Montagna, Carles Noguera, Rostislav Horcík

J. Log. Comput., 2006

Interpolation and Beth's property in propositional many-valued logics: A semantic investigation.

Franco Montagna

Ann. Pure Appl. Log., 2006

Notes on Strong Completeness in Lukasiewicz, Product and <i>BL</i> Logics and in Their First-Order Extensions.

Franco Montagna

Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops.

Sándor Jenei, Franco Montagna

Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2005

Varieties of BL-algebras.

Antonio Di Nola, Francesc Esteva, Lluís Godo, Franco Montagna

Soft Comput., 2005

Continuous approximations of product implication in MV-algebras with product.

Franco Montagna, Luca Spada

Soft Comput., 2005

Generating the variety of BL-algebras.

Franco Montagna

Soft Comput., 2005

On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms.

John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi

J. Comput. Syst. Sci., 2005

The Guessing Secrets problem: a probabilistic approach.

Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna

J. Algorithms, 2005

On the predicate logics of continuous t-norm BL-algebras.

Franco Montagna

Arch. Math. Log., 2005

A logical and algebraic treatment of conditional probability.

Tommaso Flaminio, Franco Montagna

Arch. Math. Log., 2005

2004

Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras.

Francesc Esteva, Lluís Godo, Franco Montagna

Stud Logica, 2004

Corrigendum to "Kripke-style semantics for many-valued logics".

Franco Montagna, Lorenzo Sacchetti

Math. Log. Q., 2004

Storage Operators and Multiplicative Quantifiers in Many-valued Logics.

Franco Montagna

J. Log. Comput., 2004

Analytic Calculi for Monoidal T-norm Based Logic.

Matthias Baaz, Agata Ciabattoni, Franco Montagna

Fundam. Informaticae, 2004

2003

PAC learning of probability distributions over a discrete domain.

Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi

Theor. Comput. Sci., 2003

Kripke-style semantics for many-valued logics.

Franco Montagna, Lorenzo Sacchetti

Math. Log. Q., 2003

A Tableau Calculus for Hájek's Logic BL.

Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi

J. Log. Comput., 2003

Hoops and Fuzzy Logic.

Francesc Esteva, Lluís Godo, Petr Hájek, Franco Montagna

J. Log. Comput., 2003

A general method for constructing left-continuous t-norms.

Sándor Jenei, Franco Montagna

Fuzzy Sets Syst., 2003

On the continuity points of left-continuous t-norms.

Sándor Jenei, Franco Montagna

Arch. Math. Log., 2003

Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm.

Francesc Esteva, Lluís Godo, Franco Montagna

Proceedings of the Fuzzy Sets and Systems - IFSA 2003, 10th International Fuzzy Systems Association World Congress, Istanbul, Turkey, June 30, 2003

2002

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall].

Franco Montagna, Hiroakira Ono

Stud Logica, 2002

A Proof of Standard Completeness for Esteva and Godo's Logic MTL.

Sándor Jenei, Franco Montagna

Stud Logica, 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

Investigations on Fragments of First Order Branching Temporal Logic.

Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi

Math. Log. Q., 2002

On a class of left-continuous t-norms.

Roberto Cignoli, Francesc Esteva, Lluís Godo, Franco Montagna

Fuzzy Sets Syst., 2002

2001

Three Complexity Problems in Quantified Fuzzy Logic.

Franco Montagna

Stud Logica, 2001

Complexity of t-tautologies.

Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith

Ann. Pure Appl. Log., 2001

The <i>L</i>PL\Pi and <i>L</i>P1/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

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

An Algebraic Approach to Propositional Fuzzy Logic.

Franco Montagna

J. Log. Lang. Inf., 2000

1999

Learning to Coordinate; a Recursion Theoretic Perspective.

Franco Montagna, Daniel N. Osherson

Synth., 1999

Paradigms in Measure Theoretic Learning and in Informant Learning.

Franco Montagna, Giulia Simi

Stud Logica, 1999

An Operational Logic of Proofs with Positive and Negative Information.

Duccio Luchi, Franco Montagna

Stud Logica, 1999

1998

Investigations on Measure-One Identification of Classes of Languages.

Franco Montagna

Inf. Comput., 1998

1996

Logic and probabilistic systems.

Franco Montagna, Giulia Simi, Andrea Sorbi

Arch. Math. Log., 1996

An algebraic treatment of quantifier-free systems of arithmetic.

Franco Montagna

Arch. Math. Log., 1996

1994

A Minimal Predicative Set Theory.

Franco Montagna, Antonella Mancini

Notre Dame J. Formal Log., 1994

A Note on Relative Efficiency of Axiom Systems.

Andrea Sorbi, Sandra Fontani, Franco Montagna

Math. Log. Q., 1994

On First-Order Theories with Provability Operator.

Sergei N. Artëmov, Franco Montagna

J. Symb. Log., 1994

1992

Polynomially and Superexponentially Shorter Proofs in Fragments of Logic.

Franco Montagna

J. Symb. Log., 1992

The logic of<i>II</i>₁-conservativity continued.

Petr Hájek, Franco Montagna

Arch. Math. Log., 1992

1991

Rosser orderings and free variables.

Dick de Jongh, Franco Montagna

Stud Logica, 1991

On the proof of Solovay's theorem.

Dick de Jongh, Marc Jumelet, Franco Montagna

Stud Logica, 1991

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

1990

A note on some extension results.

Franco Montagna, Giovanni Sommaruga

Stud Logica, 1990

Much shorter proofs: A bimodal investigation.

Alessandra Carbone, Franco Montagna

Math. Log. Q., 1990

The logic of π₁-conservativity.

Petr Hájek, Franco Montagna

Arch. Math. Log., 1990

1989

"Pathologies" in Two Syntactic Categories of Partial Maps.

Franco Montagna

Notre Dame J. Formal Log., 1989

Much Shorter Proofs.

Dick de Jongh, Franco Montagna

Math. Log. Q., 1989

Rosser Orderings in Bimodal Logics.

Alessandra Carbone, Franco Montagna

Math. Log. Q., 1989

Creativeness and Completeness in Recursion Categories of Partial Recursive Operators.

Franco Montagna, Andrea Sorbi

J. Symb. Log., 1989

1988

Provable Fixed Points.

Dick De Jongh, Franco Montagna

Math. Log. Q., 1988

Rosser and mostowski sentences.

Franco Montagna, Giovanni Sommaruga

Arch. Math. Log., 1988

1987

Generic generalized Rosser fixed points.

Dick H. J. Jongh, Franco Montagna

Stud Logica, 1987

Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras.

Franco Montagna

Math. Log. Q., 1987

Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation.

Franco Montagna

J. Symb. Log., 1987

1985

Universal Recursion Theoretic Properties of R.E. Preordered Structures.

Franco Montagna, Andrea Sorbi

J. Symb. Log., 1985

1984

The predicate modal logic of provability.

Franco Montagna

Notre Dame J. Formal Log., 1984

A Completeness Result for Fixed-Point Algebras.

Franco Montagna

Math. Log. Q., 1984

1983

Zfc-Models as Kripke-Models.

Franco Montagna

Math. Log. Q., 1983

1982

Relatively precomplete numerations and arithmetic.

Franco Montagna

J. Philos. Log., 1982