×

zbMATH — the first resource for mathematics

Montagna, Franco

Compute Distance To:
Author ID: montagna.franco Recent zbMATH articles by "Montagna, Franco"
Published as: Montagna, F.; Montagna, Franco
External Links: MGP · ResearchGate · dblp
Documents Indexed: 145 Publications since 1974, including 3 Books
Biographic References: 4 Publications

Publications by Year

Citations contained in zbMATH Open

134 Publications have been cited 1,403 times in 647 Documents Cited by Year
A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027
Jenei, Sándor; Montagna, Franco
97
2002
Varieties of BL-algebras. I: General properties. Zbl 1034.06009
Agliano, P.; Montagna, F.
85
2003
MV-algebras with internal states and probabilistic fuzzy logics. Zbl 1185.06007
Flaminio, Tommaso; Montagna, Franco
66
2009
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Zbl 1011.03015
Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco
56
2002
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052
Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles
54
2009
The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics. Zbl 0966.03022
Esteva, Francesc; Godo, Lluís; Montagna, Franco
52
2001
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
50
2007
Hoops and fuzzy logic. Zbl 1039.03016
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco
49
2003
Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049
Aglianò, P.; Ferreirim, I. M. A.; Montagna, F.
44
2007
An algebraic approach to propositional fuzzy logic. Zbl 0942.06006
Montagna, Franco
42
2000
On the structure of generalized BL-algebras. Zbl 1109.06011
Jipsen, P.; Montagna, F.
31
2006
On weakly cancellative fuzzy logics. Zbl 1113.03021
Montagna, Franco; Noguera, Carles; Horčík, Rostislav
27
2006
On a class of left-continuous \(\text t\)-norms. Zbl 1012.03032
Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Montagna, Franco
26
2002
Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. Zbl 1094.03011
Montagna, Franco
23
2006
Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048
Esteva, Francesc; Godo, Lluís; Montagna, Franco
23
2004
Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021
Montagna, Franco; Ono, Hiroakira
23
2002
A general method for constructing left-continuous t-norms. Zbl 1020.03020
Jenei, Sándor; Montagna, Franco
22
2003
The Blok-Ferreirim theorem for normal GBL-algebras and its application. Zbl 1192.06011
Jipsen, P.; Montagna, F.
21
2009
Adding structure to MV-algebras. Zbl 0992.06012
Montagna, Franco; Panti, Giovanni
21
2001
Subreducts of MV-algebras with product and product residuation. Zbl 1086.06010
Montagna, Franco
19
2005
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco
17
2010
Three complexity problems in quantified fuzzy logic. Zbl 0985.03014
Montagna, Franco
16
2001
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
14
2002
On the diagonalizable algebra of Peano arithmetic. Zbl 0419.08010
Montagna, Franco
14
1979
A logical and algebraic treatment of conditional probability. Zbl 1064.03016
Flaminio, Tommaso; Montagna, Franco
13
2005
The predicate modal logic of provability. Zbl 0549.03013
Montagna, Franco
13
1984
Amalgamation and interpolation in ordered algebras. Zbl 1318.06012
Metcalfe, George; Montagna, Franco; Tsinakis, Constantine
12
2014
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Zbl 1266.06011
Fedel, Martina; Keimel, Klaus; Montagna, Franco; Roth, Walter
12
2013
Ordered groups with a conucleus. Zbl 1185.06012
Montagna, Franco; Tsinakis, Constantine
12
2010
On the predicate logics of continuous t-norm BL-algebras. Zbl 1070.03013
Montagna, Franco
12
2005
Storage operators and multiplicative quantifiers in many-valued logics. Zbl 1061.03027
Montagna, Franco
12
2004
The logic of \(\Pi_ 1\)-conservativity. Zbl 0713.03007
Hájek, Petr; Montagna, Franco
12
1990
Equivalence relations induced by extensional formulae: classification by means of a new fixed point property. Zbl 0564.03043
Bernardi, Claudio; Montagna, Franco
12
1984
On the algebraization of a Feferman’s predicate. (The algebraization of theories which express Theor; X). Zbl 0398.03054
Montagna, Franco
12
1978
Embedding theorems for classes of GBL-algebras. Zbl 1192.06012
Jipsen, P.; Montagna, F.
11
2010
Kripke-style semantics for many-valued logics. Zbl 1035.03010
Montagna, Franco; Sacchetti, Lorenzo
11
2003
A minimal predicative set theory. Zbl 0816.03023
Montagna, Franco; Mancini, Antonella
11
1994
Relatively precomplete numerations and arithmetic. Zbl 0498.03046
Montagna, Franco
11
1982
Taking the Pirahã seriously. Zbl 1401.03110
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
10
2015
State morphism MV-algebras. Zbl 1251.06001
Dvurečenskij, Anatolij; Kowalski, Tomasz; Montagna, Franco
10
2011
\(n\)-contractive BL-logics. Zbl 1266.03041
Bianchi, Matteo; Montagna, Franco
10
2011
Analytic calculi for monoidal t-norm based logic. Zbl 1057.03019
Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco
10
2004
On the proof of Solovay’s theorem. Zbl 0744.03057
de Jongh, Dick; Jumelet, Marc; Montagna, Franco
10
1991
Hájek’s logic BL and BL-algebras. Zbl 1284.03176
Busaniche, Manuela; Montagna, Franco
9
2011
Completeness with respect to a chain and universal models in fuzzy logic. Zbl 1216.03047
Montagna, Franco
9
2011
On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\). Zbl 1189.03032
Marchioni, Enrico; Montagna, Franco
9
2008
Generating the variety of BL-algebras. Zbl 1093.03039
Montagna, F.
9
2005
Functorial representation theorems for MV\(_\Delta\) algebras with additional operators. Zbl 0987.06012
Montagna, Franco
9
2001
Models for many-valued probabilistic reasoning. Zbl 1237.06005
Flaminio, Tommaso; Montagna, Franco
8
2011
A notion of coherence for books on conditional events in many-valued logic. Zbl 1252.03042
Montagna, Franco
7
2011
Varieties of BL-algebras. Zbl 1092.03036
Di Nola, A.; Esteva, F.; Godo, L.; Montagna, F.
7
2005
The logic of \(\Pi_ 1\)-conservativity continued. Zbl 0790.03018
Hájek, Petr; Montagna, Franco
7
1992
Provability in finite subtheories of PA and relative interpretability: a modal investigation. Zbl 0623.03023
Montagna, Franco
7
1987
Universal recursion theoretic properties of R.E. preordered structures. Zbl 0578.03026
Montagna, Franco; Sorbi, Andrea
7
1985
A categorical equivalence for product algebras. Zbl 1373.03131
Montagna, Franco; Ugolini, Sara
6
2015
Non-standard probability, coherence and conditional probability on many-valued events. Zbl 1316.03009
Montagna, Franco; Fedel, Martina; Scianna, Giuseppe
6
2013
Quantifier elimination and other model-theoretic properties of BL-algebras. Zbl 1247.03137
Cortonesi, Tommaso; Marchioni, Enrico; Montagna, Franco
6
2011
A logical characterization of coherence for imprecise probabilities. Zbl 1244.03082
Fedel, Martina; Hosni, Hykel; Montagna, Franco
6
2011
A note on the first-order logic of complete BL-chains. Zbl 1152.03019
Hájek, Petr; Montagna, Franco
6
2008
Complexity and definability issues in Ł\(\Pi \frac 1 2\). Zbl 1142.03015
Marchioni, Enrico; Montagna, Franco
6
2007
Notes on strong completeness in Łukasiewicz, product and BL logics and in their first-order extensions. Zbl 1123.03012
Montagna, Franco
6
2007
On the continuity points of left-continuous t-norms. Zbl 1047.03016
Jenei, S.; Montagna, F.
6
2003
The undecidability of the first-order theory of diagonalizable algebras. Zbl 0463.03016
Montagna, Franco
6
1980
Varieties of BL-algebras. II. Zbl 1437.06017
Aglianò, P.; Montagna, F.
5
2018
Proof theory for locally finite many-valued logics: semi-projective logics. Zbl 1322.03019
Ciabattoni, Agata; Montagna, Franco
5
2013
Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics. Zbl 1198.03032
Montagna, Franco; Noguera, Carles
5
2010
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Zbl 1159.03045
Bova, Simone; Montagna, Franco
5
2009
Product logic and probabilistic Ulam games. Zbl 1117.03028
Montagna, Franco; Marini, Claudio; Simi, Giulia
5
2007
Provable fixed points. Zbl 0661.03009
de Jongh, Dick; Montagna, Franco
5
1988
Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic. Zbl 0463.03015
Montagna, Franco
5
1980
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.02032
Montagna, Franco
5
1976
Strict coherence on many-valued events. Zbl 1447.03001
Flaminio, Tommaso; Hosni, Hykel; Montagna, Franco
4
2018
Supersound many-valued logics and Dedekind-MacNeille completions. Zbl 1185.03040
Bianchi, Matteo; Montagna, Franco
4
2009
Logic and probabilistic systems. Zbl 0854.03020
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
4
1996
A completeness result for fixed-point algebras. Zbl 0564.03044
Montagna, Franco
4
1984
Strongly involutive uninorm algebras. Zbl 1288.03044
Jenei, Sándor; Montagna, Franco
3
2013
\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Zbl 1258.03029
Montagna, Franco
3
2012
Partially undetermined many-valued events and their conditional probability. Zbl 1261.03096
Montagna, Franco
3
2012
Proof search in Hájek’s basic logic. Zbl 1367.03024
Bova, Simone; Montagna, Franco
3
2008
Axiomatization of any residuated fuzzy logic defined by a continuous t-norm. Zbl 1037.03023
Esteva, Francesc; Godo, Lluis; Montagna, Franco
3
2003
Learning to coordinate; a recursion theoretic perspective. Zbl 0943.03034
Montagna, Franco; Osherson, Daniel
3
1999
On first-order theories with provability operator. Zbl 0860.03016
Artëmov, Sergei; Montagna, Franco
3
1994
Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic. Zbl 0745.03037
Di Paola, Robert A.; Montagna, Franco
3
1991
Creativeness and completeness in recursion categories of partial recursive operators. Zbl 0714.03041
Montagna, Franco; Sorbi, Andrea
3
1989
“Pathologies” in two syntactic categories of partial maps. Zbl 0665.03038
Montagna, Franco
3
1989
The Rényi-Ulam games and many-valued logics. Zbl 1396.03042
Corsi, Esther Anna; Montagna, Franco
2
2016
Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Zbl 1330.03061
Bianchi, Matteo; Montagna, Franco
2
2015
Arithmetical complexity of first-order fuzzy logics. Zbl 1284.03180
Hájek, Petr; Montagna, Franco; Noguera, Carles
2
2011
Retracted: Ordered groups with a modality. Zbl 1121.06304
Montagna, Franco; Tsinakis, Constantine
2
2007
Continuous approximations of product implication in MV-algebras with product. Zbl 1086.06009
Montagna, F.; Spada, L.
2
2005
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Zbl 1094.68039
Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea
2
2005
The guessing secrets problem: A probabilistic approach. Zbl 1151.91315
Del Lungo, Alberto; Louchard, Guy; Marini, Claudio; Montagna, Franco
2
2005
A tableau calculus for Hájek’s logic BL. Zbl 1055.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2003
Equational fragments of systems for arithmetic. Zbl 1061.03036
Montagna, Franco; Sebastiani, Valeria
2
2001
A cut-free proof system for bounded metric temporal logic over a dense time domain. Zbl 0951.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2000
Investigations on measure-one identification of classes of languages. Zbl 0919.68080
Montagna, Franco
2
1998
Abbreviating proofs using metamathematical rules. Zbl 0794.03080
Hájek, Petr; Montagna, Franco; Pudlák, Pavel
2
1993
Much shorter proofs: A bimodal investigation. Zbl 0697.03033
Carbone, Alessandra; Montagna, Franco
2
1990
The elementary theory of Lindenbaum fixed point algebras is hyperarithmetical. Zbl 0746.03047
Montagna, F.
2
1990
Much shorter proofs. Zbl 0688.03040
de Jongh, Dick; Montagna, Franco
2
1989
Varieties of BL-algebras. II. Zbl 1437.06017
Aglianò, P.; Montagna, F.
5
2018
Strict coherence on many-valued events. Zbl 1447.03001
Flaminio, Tommaso; Hosni, Hykel; Montagna, Franco
4
2018
The Rényi-Ulam games and many-valued logics. Zbl 1396.03042
Corsi, Esther Anna; Montagna, Franco
2
2016
Proof search and co-NP completeness for many-valued logics. Zbl 1390.03023
Bongini, Mattia; Ciabattoni, Agata; Montagna, Franco
1
2016
Taking the Pirahã seriously. Zbl 1401.03110
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
10
2015
A categorical equivalence for product algebras. Zbl 1373.03131
Montagna, Franco; Ugolini, Sara
6
2015
Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Zbl 1330.03061
Bianchi, Matteo; Montagna, Franco
2
2015
A classification of certain group-like \(\mathrm{FL}_e\)-chains. Zbl 1357.06011
Jenei, Sándor; Montagna, Franco
1
2015
Amalgamation and interpolation in ordered algebras. Zbl 1318.06012
Metcalfe, George; Montagna, Franco; Tsinakis, Constantine
12
2014
Stable non-standard imprecise probabilities. Zbl 07086263
Hosni, Hykel; Montagna, Franco
1
2014
Imprecise probabilities, bets and functional analytic methods in Łukasiewicz logic. Zbl 1266.06011
Fedel, Martina; Keimel, Klaus; Montagna, Franco; Roth, Walter
12
2013
Non-standard probability, coherence and conditional probability on many-valued events. Zbl 1316.03009
Montagna, Franco; Fedel, Martina; Scianna, Giuseppe
6
2013
Proof theory for locally finite many-valued logics: semi-projective logics. Zbl 1322.03019
Ciabattoni, Agata; Montagna, Franco
5
2013
Strongly involutive uninorm algebras. Zbl 1288.03044
Jenei, Sándor; Montagna, Franco
3
2013
A short note on essentially \(\Sigma_1\) sentences. Zbl 1270.03039
Montagna, Franco; Pianigiani, Duccio
1
2013
Polynomial space hardness without disjunction property. Zbl 1298.68097
Bova, Simone; Montagna, Franco
1
2013
\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Zbl 1258.03029
Montagna, Franco
3
2012
Partially undetermined many-valued events and their conditional probability. Zbl 1261.03096
Montagna, Franco
3
2012
State morphism MV-algebras. Zbl 1251.06001
Dvurečenskij, Anatolij; Kowalski, Tomasz; Montagna, Franco
10
2011
\(n\)-contractive BL-logics. Zbl 1266.03041
Bianchi, Matteo; Montagna, Franco
10
2011
Hájek’s logic BL and BL-algebras. Zbl 1284.03176
Busaniche, Manuela; Montagna, Franco
9
2011
Completeness with respect to a chain and universal models in fuzzy logic. Zbl 1216.03047
Montagna, Franco
9
2011
Models for many-valued probabilistic reasoning. Zbl 1237.06005
Flaminio, Tommaso; Montagna, Franco
8
2011
A notion of coherence for books on conditional events in many-valued logic. Zbl 1252.03042
Montagna, Franco
7
2011
Quantifier elimination and other model-theoretic properties of BL-algebras. Zbl 1247.03137
Cortonesi, Tommaso; Marchioni, Enrico; Montagna, Franco
6
2011
A logical characterization of coherence for imprecise probabilities. Zbl 1244.03082
Fedel, Martina; Hosni, Hykel; Montagna, Franco
6
2011
Arithmetical complexity of first-order fuzzy logics. Zbl 1284.03180
Hájek, Petr; Montagna, Franco; Noguera, Carles
2
2011
An algebraic treatment of imprecise probabilities. Zbl 1237.06006
Montagna, Franco
1
2011
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Zbl 1190.03026
Ciabattoni, Agata; Metcalfe, George; Montagna, Franco
17
2010
Ordered groups with a conucleus. Zbl 1185.06012
Montagna, Franco; Tsinakis, Constantine
12
2010
Embedding theorems for classes of GBL-algebras. Zbl 1192.06012
Jipsen, P.; Montagna, F.
11
2010
Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics. Zbl 1198.03032
Montagna, Franco; Noguera, Carles
5
2010
MV-algebras with internal states and probabilistic fuzzy logics. Zbl 1185.06007
Flaminio, Tommaso; Montagna, Franco
66
2009
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Zbl 1168.03052
Cintula, Petr; Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco; Noguera, Carles
54
2009
The Blok-Ferreirim theorem for normal GBL-algebras and its application. Zbl 1192.06011
Jipsen, P.; Montagna, F.
21
2009
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Zbl 1159.03045
Bova, Simone; Montagna, Franco
5
2009
Supersound many-valued logics and Dedekind-MacNeille completions. Zbl 1185.03040
Bianchi, Matteo; Montagna, Franco
4
2009
Two cooperative versions of the guessing secrets problem. Zbl 1173.91300
Sergioli, G.; Ledda, A.; Paoli, F.; Giuntini, R.; Kowalski, T.; Montagna, F.; Freytes, H.; Marini, C.
1
2009
Archimedean classes in integral commutative residuated chains. Zbl 1172.03037
Horčík, Rostislav; Montagna, Franco
1
2009
On triangular norms and uninorms definable in Ł\(\Pi \frac{1}{2}\). Zbl 1189.03032
Marchioni, Enrico; Montagna, Franco
9
2008
A note on the first-order logic of complete BL-chains. Zbl 1152.03019
Hájek, Petr; Montagna, Franco
6
2008
Proof search in Hájek’s basic logic. Zbl 1367.03024
Bova, Simone; Montagna, Franco
3
2008
Substructural fuzzy logics. Zbl 1139.03017
Metcalfe, George; Montagna, Franco
50
2007
Basic hoops: an algebraic study of continuous t-norms. Zbl 1127.03049
Aglianò, P.; Ferreirim, I. M. A.; Montagna, F.
44
2007
Complexity and definability issues in Ł\(\Pi \frac 1 2\). Zbl 1142.03015
Marchioni, Enrico; Montagna, Franco
6
2007
Notes on strong completeness in Łukasiewicz, product and BL logics and in their first-order extensions. Zbl 1123.03012
Montagna, Franco
6
2007
Product logic and probabilistic Ulam games. Zbl 1117.03028
Montagna, Franco; Marini, Claudio; Simi, Giulia
5
2007
Retracted: Ordered groups with a modality. Zbl 1121.06304
Montagna, Franco; Tsinakis, Constantine
2
2007
On the structure of generalized BL-algebras. Zbl 1109.06011
Jipsen, P.; Montagna, F.
31
2006
On weakly cancellative fuzzy logics. Zbl 1113.03021
Montagna, Franco; Noguera, Carles; Horčík, Rostislav
27
2006
Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. Zbl 1094.03011
Montagna, Franco
23
2006
Subreducts of MV-algebras with product and product residuation. Zbl 1086.06010
Montagna, Franco
19
2005
A logical and algebraic treatment of conditional probability. Zbl 1064.03016
Flaminio, Tommaso; Montagna, Franco
13
2005
On the predicate logics of continuous t-norm BL-algebras. Zbl 1070.03013
Montagna, Franco
12
2005
Generating the variety of BL-algebras. Zbl 1093.03039
Montagna, F.
9
2005
Varieties of BL-algebras. Zbl 1092.03036
Di Nola, A.; Esteva, F.; Godo, L.; Montagna, F.
7
2005
Continuous approximations of product implication in MV-algebras with product. Zbl 1086.06009
Montagna, F.; Spada, L.
2
2005
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Zbl 1094.68039
Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea
2
2005
The guessing secrets problem: A probabilistic approach. Zbl 1151.91315
Del Lungo, Alberto; Louchard, Guy; Marini, Claudio; Montagna, Franco
2
2005
A variant of the guessing secrets game. Zbl 1110.60003
Louchard, 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.03080
Montagna, Franco
1
2005
Equational characterization of the subvarieties of BL generated by t-norm algebras. Zbl 1045.03048
Esteva, Francesc; Godo, Lluís; Montagna, Franco
23
2004
Storage operators and multiplicative quantifiers in many-valued logics. Zbl 1061.03027
Montagna, Franco
12
2004
Analytic calculi for monoidal t-norm based logic. Zbl 1057.03019
Baaz, Matthias; Ciabattoni, Agata; Montagna, Franco
10
2004
Corrigendum to “Kripke-style semantics for many-valued logics”. Zbl 1039.03013
Montagna, Franco; Sacchetti, Lorenzo
1
2004
Varieties of BL-algebras. I: General properties. Zbl 1034.06009
Agliano, P.; Montagna, F.
85
2003
Hoops and fuzzy logic. Zbl 1039.03016
Esteva, Francesc; Godo, Lluís; Hájek, Petr; Montagna, Franco
49
2003
A general method for constructing left-continuous t-norms. Zbl 1020.03020
Jenei, Sándor; Montagna, Franco
22
2003
Kripke-style semantics for many-valued logics. Zbl 1035.03010
Montagna, Franco; Sacchetti, Lorenzo
11
2003
On the continuity points of left-continuous t-norms. Zbl 1047.03016
Jenei, S.; Montagna, F.
6
2003
Axiomatization of any residuated fuzzy logic defined by a continuous t-norm. Zbl 1037.03023
Esteva, Francesc; Godo, Lluis; Montagna, Franco
3
2003
A tableau calculus for Hájek’s logic BL. Zbl 1055.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2003
On learning to coordinate. Random bits help, insightful normal forms, and competency isomorphisms. Zbl 1274.68142
Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea
1
2003
PAC learning of probability distributions over a discrete domain. Zbl 1038.68057
Magnoni, Letizia; Mirolli, Massimo; Montagna, Franco; Simi, Giulia
1
2003
A proof of standard completeness for Esteva and Godo’s logic MTL. Zbl 0997.03027
Jenei, Sándor; Montagna, Franco
97
2002
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Zbl 1011.03015
Esteva, Francesc; Gispert, Joan; Godo, Lluís; Montagna, Franco
56
2002
On a class of left-continuous \(\text t\)-norms. Zbl 1012.03032
Cignoli, Roberto; Esteva, Francesc; Godo, Lluís; Montagna, Franco
26
2002
Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall\). Zbl 1013.03021
Montagna, Franco; Ono, Hiroakira
23
2002
Complexity of t-tautologies. Zbl 1006.03022
Baaz, Matthias; Hájek, Petr; Montagna, Franco; Veith, Helmut
14
2002
Investigation on fragments of first order branching temporal logic. Zbl 1002.03016
Montagna, 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.03022
Esteva, Francesc; Godo, Lluís; Montagna, Franco
52
2001
Adding structure to MV-algebras. Zbl 0992.06012
Montagna, Franco; Panti, Giovanni
21
2001
Three complexity problems in quantified fuzzy logic. Zbl 0985.03014
Montagna, Franco
16
2001
Functorial representation theorems for MV\(_\Delta\) algebras with additional operators. Zbl 0987.06012
Montagna, Franco
9
2001
Equational fragments of systems for arithmetic. Zbl 1061.03036
Montagna, Franco; Sebastiani, Valeria
2
2001
Free \(\text{BL}_\Delta\)-algebras. Zbl 1002.06007
Montagna, Franco
1
2001
An algebraic approach to propositional fuzzy logic. Zbl 0942.06006
Montagna, Franco
42
2000
A cut-free proof system for bounded metric temporal logic over a dense time domain. Zbl 0951.03017
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
2
2000
Learning to coordinate; a recursion theoretic perspective. Zbl 0943.03034
Montagna, Franco; Osherson, Daniel
3
1999
An operational logic of proofs with positive and negative information. Zbl 0947.03077
Luchi, Duccio; Montagna, Franco
1
1999
Paradigms in measure theoretic learning and in informant learning. Zbl 0924.68172
Montagna, Franco; Simi, Giulia
1
1999
Investigations on measure-one identification of classes of languages. Zbl 0919.68080
Montagna, Franco
2
1998
Progressions of theories of bounded arithmetic. Zbl 0881.03029
Di Paola, Robert A.; Montagna, Franco
1
1997
Logic and probabilistic systems. Zbl 0854.03020
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
4
1996
An algebraic treatment of quantifier-free systems of arithmetic. Zbl 0847.03028
Montagna, Franco
1
1996
A minimal predicative set theory. Zbl 0816.03023
Montagna, Franco; Mancini, Antonella
11
1994
On first-order theories with provability operator. Zbl 0860.03016
Artëmov, Sergei; Montagna, Franco
3
1994
A note on relative efficiency of axiom systems. Zbl 0812.03026
Fontani, Sandra; Montagna, Franco; Sorbi, Andrea
1
1994
Abbreviating proofs using metamathematical rules. Zbl 0794.03080
Hájek, Petr; Montagna, Franco; Pudlák, Pavel
2
1993
The logic of \(\Pi_ 1\)-conservativity continued. Zbl 0790.03018
Hájek, Petr; Montagna, Franco
7
1992
...and 34 more Documents
all top 5

Cited by 497 Authors

52 Montagna, Franco
29 Dvurečenskij, Anatolij
26 Flaminio, Tommaso
23 Godo, Lluís
22 Noguera, Carles
21 Esteva, Francesc
18 Cintula, Petr
18 Visser, Albert
16 Metcalfe, George
15 Aguzzoli, Stefano
15 Hájek, Petr
14 Bianchi, Matteo
14 Vetterlein, Thomas
13 Wang, Sanmin
11 Di Nola, Antonio
11 Marchioni, Enrico
9 Agliano, Paolo
9 Freytes, Hector
9 Horčík, Rostislav
9 Kowalski, Tomasz Marek
9 Leuştean, Ioana
9 Sorbi, Andrea
9 Tsinakis, Constantine
9 Xin, Xiaolong
8 Busaniche, Manuela
8 Kurahashi, Taishi
7 Beklemishev, Lev D.
7 Borzooei, Rajab Ali
7 Ciabattoni, Agata
7 Cignoli, Roberto
7 Ciungu, Lavinia Corina
7 Dellunde, Pilar
7 García-Cerdaña, Àngel
7 Haniková, Zuzana
7 Hosni, Hykel
7 Jenei, Sándor
7 Ledda, Antonio
7 Riečan, Beloslav
7 Torrens, Joan
6 Botur, Michal
6 Bova, Simone
6 de Jongh, Dick H. J.
6 Gerla, Brunella
6 Kroupa, Tomáš
6 Novák, Vilém
6 Paoli, Francesco
6 Rachůnek, Jiří
6 Ugolini, Sara
6 Wang, Zhudeng
6 Yang, Eunsuk
6 Zhou, Hongjun
5 Galatos, Nikolaos
5 Gil-Férez, José
5 Gispert, Joan
5 Gottwald, Siegfried
5 He, Pengfei
5 Indrzejczak, Andrzej
5 Lapenta, Serafina
5 Lettieri, Ada
5 Mesiar, Radko
5 Morsi, Nehad Nashaat
5 Raftery, James G.
5 Sergeev, Yaroslav Dmitrievich
5 Shavrukov, V. Yu.
4 Andrews, Uri
4 Badia, Guillermo
4 Bernardi, Claudio
4 Cabrer, Leonardo Manuel
4 Castiglioni, José Luis
4 Cerami, Marco
4 De Baets, Bernard
4 Diaconescu, Denisa
4 El-Zekey, Moataz Saleh
4 Fedel, Martina
4 Giuntini, Roberto
4 Jipsen, Peter
4 Klement, Erich Peter
4 Kühr, Jan
4 Ma, Zhenming
4 Maes, Koen C.
4 Marra, Vincenzo
4 Mundici, Daniele
4 Ono, Hiroakira
4 Pei, Daowu
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 Wang, Juntao
4 Zahiri, Omid
4 Zhao, Bin
3 Artemov, Sergei
3 Baldi, Paolo
3 Běhounek, Libor
3 Borumand Saeid, Arsham
...and 397 more Authors
all top 5

Cited in 79 Serials

135 Fuzzy Sets and Systems
73 Soft Computing
48 Studia Logica
43 Annals of Pure and Applied Logic
40 Archive for Mathematical Logic
25 International Journal of Approximate Reasoning
18 Algebra Universalis
18 Information Sciences
15 The Journal of Symbolic Logic
15 Mathematical Logic Quarterly (MLQ)
10 Journal of Pure and Applied Algebra
9 International Journal of Theoretical Physics
9 Journal of Philosophical Logic
9 The Review of Symbolic Logic
8 Journal of Algebra
8 Mathematica Slovaca
8 Notre Dame Journal of Formal Logic
8 Theoretical Computer Science
5 Kybernetika
5 Journal of Intelligent and Fuzzy Systems
5 Journal of Applied Logic
5 Open Mathematics
4 Journal of Applied Non-Classical Logics
4 The Bulletin of Symbolic Logic
4 Logic and Logical Philosophy
4 Logica Universalis
4 Symmetry
3 International Journal of General Systems
3 Reports on Mathematical Physics
3 Communications in Nonlinear Science and Numerical Simulation
3 Journal of Multiple-Valued Logic and Soft Computing
3 Iranian Journal of Fuzzy Systems
3 Afrika Matematika
2 Communications in Algebra
2 Mathematical Notes
2 Journal of Computational and Applied Mathematics
2 Journal of Computer and System Sciences
2 Transactions of the American Mathematical Society
2 Information and Computation
2 Indagationes Mathematicae. New Series
2 Annals of Mathematics and Artificial Intelligence
2 Journal of the Australian Mathematical Society
2 Foundations of Physics
2 New Mathematics and Natural Computation
1 Artificial Intelligence
1 Discrete Mathematics
1 Information Processing Letters
1 Russian Mathematical Surveys
1 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
1 Applied Mathematics and Computation
1 Czechoslovak Mathematical Journal
1 Demonstratio Mathematica
1 International Journal of Mathematics and Mathematical Sciences
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 Semigroup Forum
1 Siberian Mathematical Journal
1 Synthese
1 Bulletin of the Section of Logic
1 Topology and its Applications
1 Advances in Applied Mathematics
1 Order
1 Journal of Automated Reasoning
1 International Journal of Intelligent Systems
1 MSCS. Mathematical Structures in Computer Science
1 Bulletin of the American Mathematical Society. New Series
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 Proceedings of the Steklov Institute of Mathematics
1 Logical Methods in Computer Science
1 Asian-European Journal of Mathematics
1 Eurasian Mathematical Journal
1 Mathematics

Citations by Year