Follow
Franco Montagna
Franco Montagna
(1948 - 2015) Universitŕ degli studi di Siena
No verified email
Title
Cited by
Cited by
Year
A proof of standard completeness for Esteva and Godo's logic MTL
S Jenei, F Montagna
Studia logica 70, 183-192, 2002
3482002
Varieties of BL-algebras I: general properties
P Agliano, F Montagna
Journal of Pure and Applied Algebra 181 (2-3), 105-129, 2003
2532003
Substructural fuzzy logics
G Metcalfe, F Montagna
The Journal of Symbolic Logic 72 (3), 834-864, 2007
2362007
On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
F Esteva, J Gispert, L Godo, F Montagna
Studia Logica 71, 199-226, 2002
188*2002
Basic Hoops: an Algebraic Study of Continuous t-norms
P Aglianó, IMA Ferreirim, F Montagna
Studia Logica 87 (1), 73-98, 2007
1652007
Hoops and fuzzy logic
F Esteva, L Godo, P Hájek, F Montagna
Journal of Logic and Computation 13 (4), 532-555, 2003
1612003
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
P Cintula, F Esteva, J Gispert, L Godo, F Montagna, C Noguera
Annals of Pure and Applied Logic 160 (1), 53-81, 2009
1592009
MV-algebras with internal states and probabilistic fuzzy logics
T Flaminio, F Montagna
International Journal of Approximate Reasoning 50 (1), 138-152, 2009
1502009
An algebraic approach to propositional fuzzy logic
F Montagna
Journal of Logic, Language and Information 9 (1), 91-124, 2000
1452000
The LΠ and LΠ
F Esteva, L Godo, F Montagna
Arch. Math. Logic 40, 39-67, 2001
1372001
The ŁΠ and ŁΠ1 2 logics: Two complete fuzzy systems joining Łukasiewicz and product logics
F Esteva, L Godo, F Montagna
Archive for Mathematical Logic 40 (1), 39-67, 2001
1352001
Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀
F Montagna, H Ono
Studia Logica 71, 227-245, 2002
902002
Complexity of t-tautologies
M Baaz, P Hájek, F Montagna, H Veith
Annals of Pure and Applied Logic 113 (1-3), 3-11, 2001
802001
Equational characterization of the subvarieties of BL generated by t-norm algebras
F Esteva, L Godo, F Montagna
Studia logica 76, 161-200, 2004
792004
The predicate modal logic of provability.
F Montagna
Notre Dame Journal of Formal Logic 25 (2), 179-189, 1984
741984
Amalgamation and interpolation in ordered algebras
G Metcalfe, F Montagna, C Tsinakis
Journal of Algebra 402, 21-82, 2014
732014
On weakly cancellative fuzzy logics
F Montagna, C Noguera, R Horčík
Journal of Logic and Computation 16 (4), 423-450, 2006
682006
Three complexity problems in quantified fuzzy logic
F Montagna
Studia logica 68 (1), 143-152, 2001
682001
On the structure of generalized BL-algebras
P Jipsen, F Montagna
Algebra Universalis 55 (2), 227-238, 2006
662006
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
A Ciabattoni, G Metcalfe, F Montagna
Fuzzy sets and systems 161 (3), 369-389, 2010
652010
The system can't perform the operation now. Try again later.
Articles 1–20