Franco Montagna

Publication Activity (10 Years)

Years Active: 1982-2018
Publications (10 Years): 10

Top Venues

Stud Logica

Fuzzy Sets Syst.

Synth.

Theor. Comput. Sci.

Publications

Paolo Aglianò, Franco Montagna
Varieties of BL-Algebras II. Stud Logica 106 (4) (2018)
Tommaso Flaminio, Hykel Hosni, Franco Montagna
Strict Coherence on Many-Valued Events. J. Symb. Log. 83 (1) (2018)
Esther Anna Corsi, Franco Montagna
The Rényi-Ulam games and many-valued logics. Fuzzy Sets Syst. 301 (2016)
Sándor Jenei, Franco Montagna
-chains. Synth. 193 (1) (2016)
Mattia Bongini, Agata Ciabattoni, Franco Montagna
Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets Syst. 292 (2016)
Sándor Jenei, Franco Montagna
-chains. Synth. 192 (7) (2015)
Matteo Bianchi, Franco Montagna
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Stud Logica 103 (6) (2015)
Franco Montagna, Sara Ugolini
A Categorical Equivalence for Product Algebras. Stud Logica 103 (2) (2015)
Matteo Bianchi, Franco Montagna
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Stud Logica 103 (6) (2015)
Franco Montagna, Giulia Simi, Andrea Sorbi
Taking the Pirahã seriously. Commun. Nonlinear Sci. Numer. Simul. 21 (1-3) (2015)
Hykel Hosni, Franco Montagna
Stable Non-standard Imprecise Probabilities. IPMU (3) (2014)
Franco Montagna, Duccio Pianigiani
Sentences. Logica Universalis 7 (1) (2013)
Franco Montagna, Martina Fedel, Giuseppe Scianna
Non-standard probability, coherence and conditional probability on many-valued events. Int. J. Approx. Reason. 54 (5) (2013)
Sándor Jenei, Franco Montagna
Strongly involutive uninorm algebras. J. Log. Comput. 23 (3) (2013)
Simone Bova, Franco Montagna
Polynomial space hardness without disjunction property. Theor. Comput. Sci. 467 (2013)
Agata Ciabattoni, Franco Montagna
Proof theory for locally finite many-valued logics: Semi-projective logics. Theor. Comput. Sci. 480 (2013)
Franco Montagna
Partially Undetermined Many-Valued Events and Their Conditional Probability. J. Philos. Log. 41 (3) (2012)
Franco Montagna
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation. Stud Logica 100 (1-2) (2012)
Sándor Jenei, Franco Montagna
Two new classification theorems on residuated monoids. ISMVL (2012)
Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna
State morphism MV-algebras. Int. J. Approx. Reason. 52 (8) (2011)
Franco Montagna
A Notion of Coherence for Books on Conditional Events in Many-valued Logic. J. Log. Comput. 21 (5) (2011)
Franco Montagna
Editorial. Log. J. IGPL 19 (3) (2011)
Matteo Bianchi, Franco Montagna
-Contractive BL-logics. Arch. Math. Log. 50 (3-4) (2011)
Tommaso Flaminio, Franco Montagna
Models for Many-Valued Probabilistic Reasoning. J. Log. Comput. 21 (3) (2011)
Tommaso Cortonesi, Enrico Marchioni, Franco Montagna
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. Notre Dame J. Formal Log. 52 (4) (2011)
Franco Montagna
Completeness with respect to a chain and universal models in fuzzy logic. Arch. Math. Log. 50 (1-2) (2011)
Martina Fedel, Hykel Hosni, Franco Montagna
A logical characterization of coherence for imprecise probabilities. Int. J. Approx. Reason. 52 (8) (2011)
Agata Ciabattoni, George Metcalfe, Franco Montagna
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161 (3) (2010)
Franco Montagna, Carles Noguera
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics. J. Log. Comput. 20 (2) (2010)
Tommaso Flaminio, Franco Montagna
MV-algebras with internal states and probabilistic fuzzy logics. Int. J. Approx. Reason. 50 (1) (2009)
Matteo Bianchi, Franco Montagna
Supersound many-valued logics and Dedekind-MacNeille completions. Arch. Math. Log. 48 (8) (2009)
Rostislav Horcík, Franco Montagna
Archimedean classes in integral commutative residuated chains. Math. Log. Q. 55 (3) (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) (2009)
Simone Bova, Franco Montagna
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. 410 (12-13) (2009)
Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna, Carles Noguera
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann. Pure Appl. Log. 160 (1) (2009)
Enrico Marchioni, Franco Montagna
On triangular norms and uninorms definable in Pi 1/2. Int. J. Approx. Reason. 47 (2) (2008)
Petr Hájek, Franco Montagna
A note on the first-order logic of complete BL-chains. Math. Log. Q. 54 (4) (2008)
Simone Bova, Franco Montagna
Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9 (3) (2008)
Enrico Marchioni, Franco Montagna
Complexity and Definability Issues in L Pi 1/2. J. Log. Comput. 17 (2) (2007)
Tommaso Flaminio, Franco Montagna
An Algebraic Approach to States on MV-algebras. EUSFLAT Conf. (2) (2007)
Franco Montagna, Claudio Marini, Giulia Simi
Product logic and probabilistic Ulam games. Fuzzy Sets Syst. 158 (6) (2007)
Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna
-norms. Stud Logica 87 (1) (2007)
George Metcalfe, Franco Montagna
Substructural fuzzy logics. J. Symb. Log. 72 (3) (2007)
Simone Bova, Franco Montagna
Proof Search in Hajek's Basic Logic CoRR (2006)
Franco Montagna
Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. Ann. Pure Appl. Log. 141 (1-2) (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)
Franco Montagna
Logics and in Their First-Order Extensions. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Franco Montagna, Carles Noguera, Rostislav Horcík
On Weakly Cancellative Fuzzy Logics. J. Log. Comput. 16 (4) (2006)
Franco Montagna, Luca Spada
Continuous approximations of product implication in MV-algebras with product. Soft Comput. 9 (3) (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) (2005)
Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna
The Guessing Secrets problem: a probabilistic approach. J. Algorithms 55 (2) (2005)
Tommaso Flaminio, Franco Montagna
A logical and algebraic treatment of conditional probability. Arch. Math. Log. 44 (2) (2005)
Franco Montagna
On the predicate logics of continuous t-norm BL-algebras. Arch. Math. Log. 44 (1) (2005)
Antonio Di Nola, Francesc Esteva, Lluís Godo, Franco Montagna
Varieties of BL-algebras. Soft Comput. 9 (12) (2005)
Franco Montagna
Generating the variety of BL-algebras. Soft Comput. 9 (12) (2005)
Francesc Esteva, Lluís Godo, Franco Montagna
Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. Stud Logica 76 (2) (2004)
Franco Montagna
Storage Operators and Multiplicative Quantifiers in Many-valued Logics. J. Log. Comput. 14 (2) (2004)
Franco Montagna, Lorenzo Sacchetti
Corrigendum to "Kripke-style semantics for many-valued logics". Math. Log. Q. 50 (1) (2004)
Matthias Baaz, Agata Ciabattoni, Franco Montagna
Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Informaticae 59 (4) (2004)
Francesc Esteva, Lluís Godo, Petr Hájek, Franco Montagna
Hoops and Fuzzy Logic. J. Log. Comput. 13 (4) (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)
Sándor Jenei, Franco Montagna
A general method for constructing left-continuous t-norms. Fuzzy Sets Syst. 136 (3) (2003)
Francesc Esteva, Lluís Godo, Franco Montagna
Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. IFSA (2003)
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. 13 (2) (2003)
Sándor Jenei, Franco Montagna
On the continuity points of left-continuous t-norms. Arch. Math. Log. 42 (8) (2003)
Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi
PAC learning of probability distributions over a discrete domain. Theor. Comput. Sci. 299 (1-3) (2003)
Franco Montagna, Lorenzo Sacchetti
Kripke-style semantics for many-valued logics. Math. Log. Q. 49 (6) (2003)
Roberto Cignoli, Francesc Esteva, Lluís Godo, Franco Montagna
On a class of left-continuous t-norms. Fuzzy Sets Syst. 131 (3) (2002)
Franco Montagna, Hiroakira Ono
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. Stud Logica 71 (2) (2002)
Sándor Jenei, Franco Montagna
A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Stud Logica 70 (2) (2002)
Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Stud Logica 71 (2) (2002)
Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. 48 (1) (2002)
Franco Montagna
Three Complexity Problems in Quantified Fuzzy Logic. Stud Logica 68 (1) (2001)
Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith
Complexity of t-tautologies. Ann. Pure Appl. Log. 113 (1-3) (2001)
Francesc Esteva, Lluís Godo, Franco Montagna
P1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. Arch. Math. Log. 40 (1) (2001)
Franco Montagna
An Algebraic Approach to Propositional Fuzzy Logic. J. Log. Lang. Inf. 9 (1) (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) (2000)
Duccio Luchi, Franco Montagna
An Operational Logic of Proofs with Positive and Negative Information. Stud Logica 63 (1) (1999)
Franco Montagna, Daniel N. Osherson
Learning to Coordinate; a Recursion Theoretic Perspective. Synth. 118 (3) (1999)
Franco Montagna, Giulia Simi
Paradigms in Measure Theoretic Learning and in Informant Learning. Stud Logica 62 (2) (1999)
Franco Montagna
Investigations on Measure-One Identification of Classes of Languages. Inf. Comput. 143 (1) (1998)
Franco Montagna
An algebraic treatment of quantifier-free systems of arithmetic. Arch. Math. Log. 35 (4) (1996)
Franco Montagna, Giulia Simi, Andrea Sorbi
Logic and probabilistic systems. Arch. Math. Log. 35 (4) (1996)
Franco Montagna, Antonella Mancini
A Minimal Predicative Set Theory. Notre Dame J. Formal Log. 35 (2) (1994)
Andrea Sorbi, Sandra Fontani, Franco Montagna
A Note on Relative Efficiency of Axiom Systems. Math. Log. Q. 40 (1994)
Sergei N. Artëmov, Franco Montagna
On First-Order Theories with Provability Operator. J. Symb. Log. 59 (4) (1994)
Franco Montagna
Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. J. Symb. Log. 57 (3) (1992)
Petr Hájek, Franco Montagna
-conservativity continued. Arch. Math. Log. 32 (1) (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) (1991)
Dick de Jongh, Marc Jumelet, Franco Montagna
On the proof of Solovay's theorem. Stud Logica 50 (1) (1991)
Dick de Jongh, Franco Montagna
Rosser orderings and free variables. Stud Logica 50 (1) (1991)
Alessandra Carbone, Franco Montagna
Much shorter proofs: A bimodal investigation. Math. Log. Q. 36 (1) (1990)
Petr Hájek, Franco Montagna
-conservativity. Arch. Math. Log. 30 (2) (1990)
Franco Montagna, Giovanni Sommaruga
A note on some extension results. Stud Logica 49 (4) (1990)
Franco Montagna, Andrea Sorbi
Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. J. Symb. Log. 54 (3) (1989)
Dick de Jongh, Franco Montagna
Much Shorter Proofs. Math. Log. Q. 35 (3) (1989)
Alessandra Carbone, Franco Montagna
Rosser Orderings in Bimodal Logics. Math. Log. Q. 35 (4) (1989)
Franco Montagna
"Pathologies" in Two Syntactic Categories of Partial Maps. Notre Dame J. Formal Log. 30 (1) (1989)
Dick De Jongh, Franco Montagna
Provable Fixed Points. Math. Log. Q. 34 (3) (1988)
Franco Montagna, Giovanni Sommaruga
Rosser and mostowski sentences. Arch. Math. Log. 27 (2) (1988)

Franco Montagna.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Franco Montagna