Edit Profile (opens in new tab) Montagna, Franco Compute Distance To: Compute Author ID: montagna.franco Published as: Montagna, Franco; Montagna, F. External Links: MGP · Google Scholar · ResearchGate · dblp Documents Indexed: 142 Publications since 1974 3 Contributions as Editor Biographic References: 4 Publications Co-Authors: 71 Co-Authors with 104 Joint Publications 1,209 Co-Co-Authors all top 5 Co-Authors 41 single-authored 10 Esteva, Francesc 9 Godo, Lluís 8 Simi, Giulia 7 Hájek, Petr 7 Jenei, Sándor 7 Sorbi, Andrea 5 de Jongh, Dick H. J. 4 Bianchi, Matteo 4 Ciabattoni, Agata 4 Flaminio, Tommaso 4 Hosni, Hykel 4 Marini, Claudio 4 Noguera, Carles 3 Agliano, Paolo 3 Bova, Simone 3 Fedel, Martina 3 Jipsen, Peter 3 Marchioni, Enrico 3 Metcalfe, George 3 Pinna, G. Michele 3 Tiezzi, Elisa B. P. 3 Tsinakis, Constantine 2 Baaz, Matthias 2 Carbone, Alessandra 2 Case, John 2 Cignoli, Roberto 2 Di Paola, Robert A. 2 Gispert, Joan 2 Horčík, Rostislav 2 Jain, Sanjay 2 Kowalski, Tomasz 2 Louchard, Guy 2 Ono, Hiroakira 2 Sacchetti, Lorenzo 2 Sommaruga, Giovanni 1 Artemov, Sergei 1 Bernardi, Claudio 1 Bongini, Mattia 1 Busaniche, Manuela 1 Cicalese, Ferdinando 1 Cintula, Petr 1 Corsi, Esther Anna 1 Cortonesi, Tommaso 1 Del Lungo, Alberto 1 Di Nola, Antonio 1 Dvurečenskij, Anatolij 1 Ferreirim, Isabel M. A. 1 Fontani, Sandra 1 Freytes, Hector 1 Giuntini, Roberto 1 Gottwald, Siegfried 1 Jumelet, Marc 1 Keimel, Klaus 1 Ledda, Antonio 1 Luchi, Duccio 1 Magnoni, Letizia 1 Mancini, Antonella 1 Mirolli, Massimo 1 Osherson, Daniel N. 1 Panti, Giovanni 1 Paoli, Francesco 1 Pasini, Leonardo 1 Pianigiani, Duccio 1 Pudlák, Pavel 1 Roth, Walter J. 1 Scianna, Giuseppe 1 Sebastiani, Valeria 1 Sergioli, Giuseppe 1 Spada, Luca 1 Ugolini, Sara 1 Veith, Helmut all top 5 Serials 21 Studia Logica 12 Archive for Mathematical Logic 9 Journal of Logic and Computation 8 The Journal of Symbolic Logic 7 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 7 Mathematical Logic Quarterly (MLQ) 6 Fuzzy Sets and Systems 5 Algebra Universalis 5 Journal of Pure and Applied Algebra 5 International Journal of Approximate Reasoning 4 Notre Dame Journal of Formal Logic 4 Theoretical Computer Science 3 Synthese 3 Annals of Pure and Applied Logic 3 Soft Computing 3 Bollettino della Unione Matematica Italiana. Series V. B 2 Journal of Algebra 2 Journal of Philosophical Logic 2 PU.M.A. Pure Mathematics and Applications 1 Demonstratio Mathematica 1 Fundamenta Mathematicae 1 Information Sciences 1 Journal of Computer and System Sciences 1 Le Matematiche 1 Journal of Algorithms 1 Information and Computation 1 Forum Mathematicum 1 PU.M.A. Pure Mathematics and Applications. Ser. A 1 Bollettino della Unione Matemàtica Italiana. Supplemento 1 Journal of Logic, Language and Information 1 Logic Journal of the IGPL 1 Communications in Nonlinear Science and Numerical Simulation 1 Fundamenta Informaticae 1 ACM Transactions on Computational Logic 1 Bollettino della Unione Matematica Italiana. Series IV 1 Logica Universalis 1 Outstanding Contributions to Logic 1 Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series (Nuova Serie) all top 5 Fields 132 Mathematical logic and foundations (03-XX) 51 Order, lattices, ordered algebraic structures (06-XX) 15 Computer science (68-XX) 12 General algebraic systems (08-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Category theory; homological algebra (18-XX) 4 Probability theory and stochastic processes (60-XX) 3 General and overarching topics; collections (00-XX) 3 Measure and integration (28-XX) 2 History and biography (01-XX) 1 Functional analysis (46-XX) 1 Convex and discrete geometry (52-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 133 Publications have been cited 1,539 times in 719 Documents Cited by ▼ Year ▼ A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027Jenei, Sándor; Montagna, Franco 105 2002 Varieties of BL-algebras. I: General properties. Zbl 1034.06009Agliano, P.; Montagna, F. 98 2003 MV-algebras with internal states and probabilistic fuzzy logics. Zbl 1185.06007Flaminio, Tommaso; Montagna, Franco 79 2009 Substructural fuzzy logics. Zbl 1139.03017Metcalfe, George; Montagna, Franco 60 2007 Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles 58 2009 Hoops and fuzzy logic. Zbl 1039.03016Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco 54 2003 The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics. Zbl 0966.03022Esteva, Francesc; Godo, Lluís; Montagna, Franco 53 2001 On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Zbl 1011.03015Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco 50 2002 Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049Aglianò, P.; Ferreirim, I. M. A.; Montagna, F. 49 2007 An algebraic approach to propositional fuzzy logic. Zbl 0942.06006Montagna, Franco 43 2000 On the structure of generalized BL-algebras. Zbl 1109.06011Jipsen, P.; Montagna, F. 33 2006 On a class of left-continuous \(\text t\)-norms. Zbl 1012.03032Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Montagna, Franco 27 2002 On weakly cancellative fuzzy logics. Zbl 1113.03021Montagna, Franco; Noguera, Carles; Horčík, Rostislav 27 2006 Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048Esteva, Francesc; Godo, Lluís; Montagna, Franco 25 2004 The Blok-Ferreirim theorem for normal GBL-algebras and its application. Zbl 1192.06011Jipsen, P.; Montagna, F. 25 2009 Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021Montagna, Franco; Ono, Hiroakira 24 2002 Adding structure to MV-algebras. Zbl 0992.06012Montagna, Franco; Panti, Giovanni 23 2001 Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. Zbl 1094.03011Montagna, Franco 23 2006 A general method for constructing left-continuous t-norms. Zbl 1020.03020Jenei, Sándor; Montagna, Franco 22 2003 Subreducts of MV-algebras with product and product residuation. Zbl 1086.06010Montagna, Franco 21 2005 Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026Ciabattoni, Agata; Metcalfe, George; Montagna, Franco 20 2010 Ordered groups with a conucleus. Zbl 1185.06012Montagna, Franco; Tsinakis, Constantine 18 2010 The predicate modal logic of provability. Zbl 0549.03013Montagna, Franco 17 1984 Three complexity problems in quantified fuzzy logic. Zbl 0985.03014Montagna, Franco 17 2001 Amalgamation and interpolation in ordered algebras. Zbl 1318.06012Metcalfe, George; Montagna, Franco; Tsinakis, Constantine 16 2014 Equivalence relations induced by extensional formulae: classification by means of a new fixed point property. Zbl 0564.03043Bernardi, Claudio; Montagna, Franco 15 1984 Embedding theorems for classes of GBL-algebras. Zbl 1192.06012Jipsen, P.; Montagna, F. 15 2010 Complexity of t-tautologies. Zbl 1006.03022Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut 15 2002 Relatively precomplete numerations and arithmetic. Zbl 0498.03046Montagna, Franco 14 1982 On the diagonalizable algebra of Peano arithmetic. Zbl 0419.08010Montagna, Franco 14 1979 On the algebraization of a Feferman’s predicate. (The algebraization of theories which express Theor; X). Zbl 0398.03054Montagna, Franco 14 1978 Taking the Pirahã seriously. Zbl 1401.03110Montagna, Franco; Simi, Giulia; Sorbi, Andrea 14 2015 A minimal predicative set theory. Zbl 0816.03023Montagna, Franco; Mancini, Antonella 13 1994 Storage operators and multiplicative quantifiers in many-valued logics. Zbl 1061.03027Montagna, Franco 13 2004 The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007Hájek, Petr; Montagna, Franco 13 1990 Kripke-style semantics for many-valued logics. Zbl 1035.03010Montagna, Franco; Sacchetti, Lorenzo 12 2003 On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\). Zbl 1189.03032Marchioni, Enrico; Montagna, Franco 12 2008 On the predicate logics of continuous t-norm BL-algebras. Zbl 1070.03013Montagna, Franco 12 2005 A logical and algebraic treatment of conditional probability. Zbl 1064.03016Flaminio, Tommaso; Montagna, Franco 12 2005 On the proof of Solovay’s theorem. Zbl 0744.03057de Jongh, Dick; Jumelet, Marc; Montagna, Franco 12 1991 Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Zbl 1266.06011Fedel, Martina; Keimel, Klaus; Montagna, Franco; Roth, Walter 12 2013 \(n\)-contractive BL-logics. Zbl 1266.03041Bianchi, Matteo; Montagna, Franco 11 2011 Universal recursion theoretic properties of R.E. preordered structures. Zbl 0578.03026Montagna, Franco; Sorbi, Andrea 11 1985 Hájek’s logic BL and BL-algebras. Zbl 1284.03176Busaniche, Manuela; Montagna, Franco 11 2011 State morphism MV-algebras. Zbl 1251.06001Dvurečenskij, Anatolij; Kowalski, Tomasz; Montagna, Franco 10 2011 Analytic calculi for monoidal t-norm based logic. Zbl 1057.03019Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco 10 2004 Completeness with respect to a chain and universal models in fuzzy logic. Zbl 1216.03047Montagna, Franco 9 2011 Functorial representation theorems for MV\(_\Delta\) algebras with additional operators. Zbl 0987.06012Montagna, Franco 9 2001 Generating the variety of BL-algebras. Zbl 1093.03039Montagna, F. 9 2005 A note on the first-order logic of complete BL-chains. Zbl 1152.03019Hájek, Petr; Montagna, Franco 9 2008 A notion of coherence for books on conditional events in many-valued logic. Zbl 1252.03042Montagna, Franco 8 2011 Models for many-valued probabilistic reasoning. Zbl 1237.06005Flaminio, Tommaso; Montagna, Franco 8 2011 Varieties of BL-algebras. Zbl 1092.03036Di Nola, A.; Esteva, F.; Godo, L.; Montagna, F. 8 2005 The logic of \(\Pi_ 1\)-conservativity continued. Zbl 0790.03018Hájek, Petr; Montagna, Franco 7 1992 The undecidability of the first-order theory of diagonalizable algebras. Zbl 0463.03016Montagna, Franco 7 1980 A logical characterization of coherence for imprecise probabilities. Zbl 1244.03082Fedel, Martina; Hosni, Hykel; Montagna, Franco 7 2011 Provability in finite subtheories of PA and relative interpretability: a modal investigation. Zbl 0623.03023Montagna, Franco 7 1987 A categorical equivalence for product algebras. Zbl 1373.03131Montagna, Franco; Ugolini, Sara 7 2015 Non-standard probability, coherence and conditional probability on many-valued events. Zbl 1316.03009Montagna, Franco; Fedel, Martina; Scianna, Giuseppe 7 2013 Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic. Zbl 0463.03015Montagna, Franco 6 1980 Quantifier elimination and other model-theoretic properties of BL-algebras. Zbl 1247.03137Cortonesi, Tommaso; Marchioni, Enrico; Montagna, Franco 6 2011 On the continuity points of left-continuous t-norms. Zbl 1047.03016Jenei, S.; Montagna, F. 6 2003 Notes on strong completeness in Łukasiewicz, product and BL logics and in their first-order extensions. Zbl 1123.03012Montagna, Franco 6 2007 On the formulas of Peano arithmetic which are provably closed under modus ponens. Zbl 0405.03030Montagna, Franco 5 1979 For every n, the n-freely generated algebra is not functionally free in the equational class of diagonalizable algebras. (The algebraization of theories which express Theor. V.). Zbl 0322.02032Montagna, Franco 5 1976 Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics. Zbl 1198.03032Montagna, Franco; Noguera, Carles 5 2010 Varieties of BL-algebras. II. Zbl 1437.06017Aglianò, P.; Montagna, F. 5 2018 Provable fixed points. Zbl 0661.03009de Jongh, Dick; Montagna, Franco 5 1988 Product logic and probabilistic Ulam games. Zbl 1117.03028Montagna, Franco; Marini, Claudio; Simi, Giulia 5 2007 Proof theory for locally finite many-valued logics: semi-projective logics. Zbl 1322.03019Ciabattoni, Agata; Montagna, Franco 5 2013 The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Zbl 1159.03045Bova, Simone; Montagna, Franco 5 2009 Complexity and definability issues in Ł\(\Pi \frac 1 2\). Zbl 1142.03015Marchioni, Enrico; Montagna, Franco 5 2007 A completeness result for fixed-point algebras. Zbl 0564.03044Montagna, Franco 4 1984 Partially undetermined many-valued events and their conditional probability. Zbl 1261.03096Montagna, Franco 4 2012 \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Zbl 1258.03029Montagna, Franco 4 2012 Supersound many-valued logics and Dedekind-MacNeille completions. Zbl 1185.03040Bianchi, Matteo; Montagna, Franco 4 2009 Proof search in Hájek’s basic logic. Zbl 1367.03024Bova, Simone; Montagna, Franco 4 2008 Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic. Zbl 0745.03037Di Paola, Robert A.; Montagna, Franco 4 1991 Logic and probabilistic systems. Zbl 0854.03020Montagna, Franco; Simi, Giulia; Sorbi, Andrea 4 1996 Strict coherence on many-valued events. Zbl 1447.03001Flaminio, Tommaso; Hosni, Hykel; Montagna, Franco 4 2018 Learning to coordinate; a recursion theoretic perspective. Zbl 0943.03034Montagna, Franco; Osherson, Daniel 3 1999 On first-order theories with provability operator. Zbl 0860.03016Artëmov, Sergei; Montagna, Franco 3 1994 A cut-free proof system for bounded metric temporal logic over a dense time domain. Zbl 0951.03017Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P. 3 2000 Axiomatization of any residuated fuzzy logic defined by a continuous t-norm. Zbl 1037.03023Esteva, Francesc; Godo, Lluis; Montagna, Franco 3 2003 The Rényi-Ulam games and many-valued logics. Zbl 1396.03042Corsi, Esther Anna; Montagna, Franco 3 2016 Creativeness and completeness in recursion categories of partial recursive operators. Zbl 0714.03041Montagna, Franco; Sorbi, Andrea 3 1989 Strongly involutive uninorm algebras. Zbl 1288.03044Jenei, Sándor; Montagna, Franco 3 2013 On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Zbl 1094.68039Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea 2 2005 Continuous approximations of product implication in MV-algebras with product. Zbl 1086.06009Montagna, F.; Spada, L. 2 2005 The guessing secrets problem: A probabilistic approach. Zbl 1151.91315Del Lungo, Alberto; Louchard, Guy; Marini, Claudio; Montagna, Franco 2 2005 Abbreviating proofs using metamathematical rules. Zbl 0794.03080Hájek, Petr; Montagna, Franco; Pudlák, Pavel 2 1993 Corrigendum to “Kripke-style semantics for many-valued logics”. Zbl 1039.03013Montagna, Franco; Sacchetti, Lorenzo 2 2004 A tableau calculus for Hájek’s logic BL. Zbl 1055.03017Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P. 2 2003 Investigations on measure-one identification of classes of languages. Zbl 0919.68080Montagna, Franco 2 1998 “Pathologies” in two syntactic categories of partial maps. Zbl 0665.03038Montagna, Franco 2 1989 Much shorter proofs. Zbl 0688.03040de Jongh, Dick; Montagna, Franco 2 1989 Rosser and Mostowski sentences. Zbl 0688.03041Montagna, Franco; Sommaruga, Giovanni 2 1988 The elementary theory of Lindenbaum fixed point algebras is hyperarithmetical. Zbl 0746.03047Montagna, F. 2 1990 Retracted: Ordered groups with a modality. Zbl 1121.06304Montagna, Franco; Tsinakis, Constantine 2 2007 Generic generalized Rosser fixed points. Zbl 0638.03019de Jongh, Dick H. J.; Montagna, Franco 2 1987 Varieties of BL-algebras. II. Zbl 1437.06017Aglianò, P.; Montagna, F. 5 2018 Strict coherence on many-valued events. Zbl 1447.03001Flaminio, Tommaso; Hosni, Hykel; Montagna, Franco 4 2018 The Rényi-Ulam games and many-valued logics. Zbl 1396.03042Corsi, Esther Anna; Montagna, Franco 3 2016 Proof search and co-NP completeness for many-valued logics. Zbl 1390.03023Bongini, Mattia; Ciabattoni, Agata; Montagna, Franco 1 2016 Taking the Pirahã seriously. Zbl 1401.03110Montagna, Franco; Simi, Giulia; Sorbi, Andrea 14 2015 A categorical equivalence for product algebras. Zbl 1373.03131Montagna, Franco; Ugolini, Sara 7 2015 Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Zbl 1330.03061Bianchi, Matteo; Montagna, Franco 2 2015 A classification of certain group-like \(\mathrm{FL}_e\)-chains. Zbl 1357.06011Jenei, Sándor; Montagna, Franco 1 2015 Amalgamation and interpolation in ordered algebras. Zbl 1318.06012Metcalfe, George; Montagna, Franco; Tsinakis, Constantine 16 2014 Stable non-standard imprecise probabilities. Zbl 1461.03022Hosni, Hykel; Montagna, Franco 1 2014 Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Zbl 1266.06011Fedel, Martina; Keimel, Klaus; Montagna, Franco; Roth, Walter 12 2013 Non-standard probability, coherence and conditional probability on many-valued events. Zbl 1316.03009Montagna, Franco; Fedel, Martina; Scianna, Giuseppe 7 2013 Proof theory for locally finite many-valued logics: semi-projective logics. Zbl 1322.03019Ciabattoni, Agata; Montagna, Franco 5 2013 Strongly involutive uninorm algebras. Zbl 1288.03044Jenei, Sándor; Montagna, Franco 3 2013 Polynomial space hardness without disjunction property. Zbl 1298.68097Bova, Simone; Montagna, Franco 1 2013 A short note on essentially \(\Sigma_1\) sentences. Zbl 1270.03039Montagna, Franco; Pianigiani, Duccio 1 2013 Partially undetermined many-valued events and their conditional probability. Zbl 1261.03096Montagna, Franco 4 2012 \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Zbl 1258.03029Montagna, Franco 4 2012 \(n\)-contractive BL-logics. Zbl 1266.03041Bianchi, Matteo; Montagna, Franco 11 2011 Hájek’s logic BL and BL-algebras. Zbl 1284.03176Busaniche, Manuela; Montagna, Franco 11 2011 State morphism MV-algebras. Zbl 1251.06001Dvurečenskij, Anatolij; Kowalski, Tomasz; Montagna, Franco 10 2011 Completeness with respect to a chain and universal models in fuzzy logic. Zbl 1216.03047Montagna, Franco 9 2011 A notion of coherence for books on conditional events in many-valued logic. Zbl 1252.03042Montagna, Franco 8 2011 Models for many-valued probabilistic reasoning. Zbl 1237.06005Flaminio, Tommaso; Montagna, Franco 8 2011 A logical characterization of coherence for imprecise probabilities. Zbl 1244.03082Fedel, Martina; Hosni, Hykel; Montagna, Franco 7 2011 Quantifier elimination and other model-theoretic properties of BL-algebras. Zbl 1247.03137Cortonesi, Tommaso; Marchioni, Enrico; Montagna, Franco 6 2011 An algebraic treatment of imprecise probabilities. Zbl 1237.06006Montagna, Franco 1 2011 Arithmetical complexity of first-order fuzzy logics. Zbl 1284.03180Hájek, Petr; Montagna, Franco; Noguera, Carles 1 2011 Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026Ciabattoni, Agata; Metcalfe, George; Montagna, Franco 20 2010 Ordered groups with a conucleus. Zbl 1185.06012Montagna, Franco; Tsinakis, Constantine 18 2010 Embedding theorems for classes of GBL-algebras. Zbl 1192.06012Jipsen, P.; Montagna, F. 15 2010 Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics. Zbl 1198.03032Montagna, Franco; Noguera, Carles 5 2010 MV-algebras with internal states and probabilistic fuzzy logics. Zbl 1185.06007Flaminio, Tommaso; Montagna, Franco 79 2009 Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles 58 2009 The Blok-Ferreirim theorem for normal GBL-algebras and its application. Zbl 1192.06011Jipsen, P.; Montagna, F. 25 2009 The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Zbl 1159.03045Bova, Simone; Montagna, Franco 5 2009 Supersound many-valued logics and Dedekind-MacNeille completions. Zbl 1185.03040Bianchi, Matteo; Montagna, Franco 4 2009 Archimedean classes in integral commutative residuated chains. Zbl 1172.03037Horčík, Rostislav; Montagna, Franco 2 2009 Two cooperative versions of the guessing secrets problem. Zbl 1173.91300Sergioli, G.; Ledda, A.; Paoli, F.; Giuntini, R.; Kowalski, T.; Montagna, F.; Freytes, H.; Marini, C. 1 2009 On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\). Zbl 1189.03032Marchioni, Enrico; Montagna, Franco 12 2008 A note on the first-order logic of complete BL-chains. Zbl 1152.03019Hájek, Petr; Montagna, Franco 9 2008 Proof search in Hájek’s basic logic. Zbl 1367.03024Bova, Simone; Montagna, Franco 4 2008 Substructural fuzzy logics. Zbl 1139.03017Metcalfe, George; Montagna, Franco 60 2007 Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049Aglianò, P.; Ferreirim, I. M. A.; Montagna, F. 49 2007 Notes on strong completeness in Łukasiewicz, product and BL logics and in their first-order extensions. Zbl 1123.03012Montagna, Franco 6 2007 Product logic and probabilistic Ulam games. Zbl 1117.03028Montagna, Franco; Marini, Claudio; Simi, Giulia 5 2007 Complexity and definability issues in Ł\(\Pi \frac 1 2\). Zbl 1142.03015Marchioni, Enrico; Montagna, Franco 5 2007 Retracted: Ordered groups with a modality. Zbl 1121.06304Montagna, Franco; Tsinakis, Constantine 2 2007 On the structure of generalized BL-algebras. Zbl 1109.06011Jipsen, P.; Montagna, F. 33 2006 On weakly cancellative fuzzy logics. Zbl 1113.03021Montagna, Franco; Noguera, Carles; Horčík, Rostislav 27 2006 Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. Zbl 1094.03011Montagna, Franco 23 2006 Subreducts of MV-algebras with product and product residuation. Zbl 1086.06010Montagna, Franco 21 2005 On the predicate logics of continuous t-norm BL-algebras. Zbl 1070.03013Montagna, Franco 12 2005 A logical and algebraic treatment of conditional probability. Zbl 1064.03016Flaminio, Tommaso; Montagna, Franco 12 2005 Generating the variety of BL-algebras. Zbl 1093.03039Montagna, F. 9 2005 Varieties of BL-algebras. Zbl 1092.03036Di Nola, A.; Esteva, F.; Godo, L.; Montagna, F. 8 2005 On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Zbl 1094.68039Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea 2 2005 Continuous approximations of product implication in MV-algebras with product. Zbl 1086.06009Montagna, F.; Spada, L. 2 2005 The guessing secrets problem: A probabilistic approach. Zbl 1151.91315Del Lungo, Alberto; Louchard, Guy; Marini, Claudio; Montagna, Franco 2 2005 A variant of the guessing secrets game. Zbl 1110.60003Louchard, Guy; Marini, Claudio; Montagna, Franco; Simi, Giulia 1 2005 From lattice ordered abelian groups to the algebras of many-valued logic: a survey. Zbl 1095.03080Montagna, Franco 1 2005 Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048Esteva, Francesc; Godo, Lluís; Montagna, Franco 25 2004 Storage operators and multiplicative quantifiers in many-valued logics. Zbl 1061.03027Montagna, Franco 13 2004 Analytic calculi for monoidal t-norm based logic. Zbl 1057.03019Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco 10 2004 Corrigendum to “Kripke-style semantics for many-valued logics”. Zbl 1039.03013Montagna, Franco; Sacchetti, Lorenzo 2 2004 Varieties of BL-algebras. I: General properties. Zbl 1034.06009Agliano, P.; Montagna, F. 98 2003 Hoops and fuzzy logic. Zbl 1039.03016Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco 54 2003 A general method for constructing left-continuous t-norms. Zbl 1020.03020Jenei, Sándor; Montagna, Franco 22 2003 Kripke-style semantics for many-valued logics. Zbl 1035.03010Montagna, Franco; Sacchetti, Lorenzo 12 2003 On the continuity points of left-continuous t-norms. Zbl 1047.03016Jenei, S.; Montagna, F. 6 2003 Axiomatization of any residuated fuzzy logic defined by a continuous t-norm. Zbl 1037.03023Esteva, Francesc; Godo, Lluis; Montagna, Franco 3 2003 A tableau calculus for Hájek’s logic BL. Zbl 1055.03017Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P. 2 2003 PAC learning of probability distributions over a discrete domain. Zbl 1038.68057Magnoni, Letizia; Mirolli, Massimo; Montagna, Franco; Simi, Giulia 1 2003 On learning to coordinate. Random bits help, insightful normal forms, and competency isomorphisms. Zbl 1274.68142Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea 1 2003 A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027Jenei, Sándor; Montagna, Franco 105 2002 On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Zbl 1011.03015Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco 50 2002 On a class of left-continuous \(\text t\)-norms. Zbl 1012.03032Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Montagna, Franco 27 2002 Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021Montagna, Franco; Ono, Hiroakira 24 2002 Complexity of t-tautologies. Zbl 1006.03022Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut 15 2002 Investigation on fragments of first order branching temporal logic. Zbl 1002.03016Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P. 1 2002 The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics. Zbl 0966.03022Esteva, Francesc; Godo, Lluís; Montagna, Franco 53 2001 Adding structure to MV-algebras. Zbl 0992.06012Montagna, Franco; Panti, Giovanni 23 2001 Three complexity problems in quantified fuzzy logic. Zbl 0985.03014Montagna, Franco 17 2001 Functorial representation theorems for MV\(_\Delta\) algebras with additional operators. Zbl 0987.06012Montagna, Franco 9 2001 Equational fragments of systems for arithmetic. Zbl 1061.03036Montagna, Franco; Sebastiani, Valeria 2 2001 An algebraic approach to propositional fuzzy logic. Zbl 0942.06006Montagna, Franco 43 2000 A cut-free proof system for bounded metric temporal logic over a dense time domain. Zbl 0951.03017Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P. 3 2000 Learning to coordinate; a recursion theoretic perspective. Zbl 0943.03034Montagna, Franco; Osherson, Daniel 3 1999 An operational logic of proofs with positive and negative information. Zbl 0947.03077Luchi, Duccio; Montagna, Franco 1 1999 Paradigms in measure theoretic learning and in informant learning. Zbl 0924.68172Montagna, Franco; Simi, Giulia 1 1999 Investigations on measure-one identification of classes of languages. Zbl 0919.68080Montagna, Franco 2 1998 Progressions of theories of bounded arithmetic. Zbl 0881.03029Di Paola, Robert A.; Montagna, Franco 1 1997 Logic and probabilistic systems. Zbl 0854.03020Montagna, Franco; Simi, Giulia; Sorbi, Andrea 4 1996 An algebraic treatment of quantifier-free systems of arithmetic. Zbl 0847.03028Montagna, Franco 1 1996 A minimal predicative set theory. Zbl 0816.03023Montagna, Franco; Mancini, Antonella 13 1994 On first-order theories with provability operator. Zbl 0860.03016Artëmov, Sergei; Montagna, Franco 3 1994 A note on relative efficiency of axiom systems. Zbl 0812.03026Fontani, Sandra; Montagna, Franco; Sorbi, Andrea 1 1994 Abbreviating proofs using metamathematical rules. Zbl 0794.03080Hájek, Petr; Montagna, Franco; Pudlák, Pavel 2 1993 The logic of \(\Pi_ 1\)-conservativity continued. Zbl 0790.03018Hájek, Petr; Montagna, Franco 7 1992 Polynomially and superexponentially shorter proofs in fragments of arithmetic. Zbl 0765.03029Montagna, Franco 1 1992 ...and 33 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 538 Authors 51 Montagna, Franco 28 Dvurečenskij, Anatolij 27 Flaminio, Tommaso 23 Godo, Lluís 22 Noguera, Carles 21 Esteva, Francesc 19 Visser, Albert 18 Metcalfe, George 17 Aguzzoli, Stefano 17 Cintula, Petr 16 Bianchi, Matteo 15 Hájek, Petr 14 Vetterlein, Thomas 13 Wang, Sanmin 11 Di Nola, Antonio 11 Kurahashi, Taishi 11 Marchioni, Enrico 11 Sorbi, Andrea 10 Agliano, Paolo 10 Borzooei, Rajab Ali 10 Horčík, Rostislav 10 Kowalski, Tomasz 10 Leuştean, Ioana 10 Tsinakis, Constantine 10 Xin, Xiaolong 9 Busaniche, Manuela 9 Freytes, Hector 9 Jenei, Sándor 8 Ciabattoni, Agata 8 Ciungu, Lavinia Corina 8 Galatos, Nikolaos 8 García-Cerdaña, Àngel 8 Haniková, Zuzana 8 Ugolini, Sara 8 Yang, Eunsuk 7 Beklemishev, Lev D. 7 Botur, Michal 7 Cignoli, Roberto 7 Dellunde, Pilar 7 He, Pengfei 7 Hosni, Hykel 7 Indrzejczak, Andrzej 7 Kroupa, Tomáš 7 Lapenta, Serafina 7 Ledda, Antonio 7 Riečan, Beloslav 7 Torrens, Joan 7 Wang, Juntao 6 Bova, Simone 6 Castiglioni, José Luis 6 de Jongh, Dick H. J. 6 Gerla, Brunella 6 Gil-Férez, José 6 Gispert, Joan 6 Novák, Vilém 6 Paoli, Francesco 6 Rachůnek, Jiří 6 Sergeev, Yaroslav Dmitrievich 6 Wang, Zhudeng 6 Zhou, Hongjun 5 Andrews, Uri 5 De Baets, Bernard 5 Gottwald, Siegfried 5 Lettieri, Ada 5 Marra, Vincenzo 5 Mesiar, Radko 5 Morsi, Nehad Nashaat 5 Raftery, James G. 5 Shavrukov, V. Yu. 5 Zahiri, Omid 4 Badia, Guillermo 4 Bernardi, Claudio 4 Borumand Saeid, Arsham 4 Cabrer, Leonardo Manuel 4 Cerami, Marco 4 Diaconescu, Denisa 4 El-Zekey, Moataz Saleh 4 Fedel, Martina 4 Giuntini, Roberto 4 Jipsen, Peter 4 Klement, Erich Peter 4 Kologani, Mona Aaly 4 Kühr, Jan 4 Ma, Zhenming 4 Maes, Koen C. 4 Mundici, Daniele 4 Ono, Hiroakira 4 Petrík, Milan 4 Pradera, Ana 4 Pulmannová, Sylvia 4 Sergioli, Giuseppe 4 Simi, Giulia 4 Spada, Luca 4 Torrens Torrell, Antoni 4 Valota, Diego 4 Wang, Guojun 4 Zhao, Bin 3 Artemov, Sergei 3 Badaev, Serikzhan A. 3 Baldi, Paolo ...and 438 more Authors all top 5 Cited in 87 Serials 140 Fuzzy Sets and Systems 79 Soft Computing 56 Studia Logica 48 Annals of Pure and Applied Logic 40 Archive for Mathematical Logic 28 International Journal of Approximate Reasoning 19 Algebra Universalis 18 Information Sciences 18 The Journal of Symbolic Logic 15 Mathematical Logic Quarterly (MLQ) 12 Mathematica Slovaca 11 Journal of Pure and Applied Algebra 10 The Review of Symbolic Logic 9 International Journal of Theoretical Physics 9 Journal of Algebra 9 Journal of Philosophical Logic 9 Notre Dame Journal of Formal Logic 8 Theoretical Computer Science 6 Iranian Journal of Fuzzy Systems 6 Open Mathematics 5 Kybernetika 5 The Bulletin of Symbolic Logic 5 Logic and Logical Philosophy 5 Journal of Intelligent and Fuzzy Systems 5 Journal of Multiple-Valued Logic and Soft Computing 5 Journal of Applied Logic 4 Journal of Applied Non-Classical Logics 4 Logica Universalis 4 Symmetry 3 International Journal of General Systems 3 Reports on Mathematical Physics 3 Bulletin of the Section of Logic 3 Communications in Nonlinear Science and Numerical Simulation 3 New Mathematics and Natural Computation 3 Afrika Matematika 2 Artificial Intelligence 2 Communications in Algebra 2 Mathematical Notes 2 International Journal of Mathematics and Mathematical Sciences 2 Journal of Computational and Applied Mathematics 2 Journal of Computer and System Sciences 2 Revista de la Unión Matemática Argentina 2 Semigroup Forum 2 Synthese 2 Transactions of the American Mathematical Society 2 Indagationes Mathematicae. New Series 2 Annals of Mathematics and Artificial Intelligence 2 Journal of the Australian Mathematical Society 2 Mediterranean Journal of Mathematics 2 Foundations of Physics 2 Journal of Algebraic Systems 1 Discrete Mathematics 1 Information Processing Letters 1 Russian Mathematical Surveys 1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 1 Czechoslovak Mathematical Journal 1 Demonstratio Mathematica 1 Journal of Optimization Theory and Applications 1 Proceedings of the American Mathematical Society 1 Quaestiones Mathematicae 1 Rendiconti del Seminario Matematico della Università di Padova 1 Siberian Mathematical Journal 1 Topology and its Applications 1 Advances in Applied Mathematics 1 Order 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Intelligent Systems 1 International Journal of Algebra and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Bulletin of the American Mathematical Society. New Series 1 Journal of Mathematical Sciences (New York) 1 Izvestiya: Mathematics 1 Acta Mathematica Sinica. English Series 1 Foundations of Science 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Advances in Difference Equations 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Proceedings of the Steklov Institute of Mathematics 1 Logical Methods in Computer Science 1 Asian-European Journal of Mathematics 1 Eurasian Mathematical Journal 1 Universal Journal of Mathematics and Mathematical Sciences 1 Mathematics 1 Algebraic Structures and their Applications 1 AIMS Mathematics all top 5 Cited in 31 Fields 624 Mathematical logic and foundations (03-XX) 286 Order, lattices, ordered algebraic structures (06-XX) 74 Computer science (68-XX) 42 General algebraic systems (08-XX) 22 Quantum theory (81-XX) 18 Probability theory and stochastic processes (60-XX) 13 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Measure and integration (28-XX) 9 Category theory; homological algebra (18-XX) 9 General topology (54-XX) 8 History and biography (01-XX) 8 Group theory and generalizations (20-XX) 7 Information and communication theory, circuits (94-XX) 4 General and overarching topics; collections (00-XX) 3 Convex and discrete geometry (52-XX) 3 Numerical analysis (65-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Sequences, series, summability (40-XX) 2 Functional analysis (46-XX) 2 Statistics (62-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Real functions (26-XX) 1 Difference and functional equations (39-XX) 1 Operator theory (47-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year