دنبال کردن
Franco Montagna
Franco Montagna
(1948 - 2015) Università degli studi di Siena
ایمیل تأییدشده‌ای ندارید
عنوان
نقل شده توسط
نقل شده توسط
سال
A proof of standard completeness for Esteva and Godo's logic MTL‏
S Jenei, F Montagna‏
Studia logica 70, 183-192, 2002‏
3572002
Varieties of BL-algebras I: general properties‏
P Agliano, F Montagna‏
Journal of Pure and Applied Algebra 181 (2-3), 105-129, 2003‏
2632003
Substructural fuzzy logics‏
G Metcalfe, F Montagna‏
The Journal of Symbolic Logic 72 (3), 834-864, 2007‏
2542007
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‏
1912002
The LΠ and LΠ‏
F Esteva, L Godo, F Montagna‏
Arch. Math. Logic 40, 39-67, 2001‏
1892001
Basic Hoops: an Algebraic Study of Continuous t-norms‏
P Agliano, IMA Ferreirim, F Montagna‏
Studia Logica 87 (1), 73-98, 2007‏
1802007
Hoops and fuzzy logic‏
F Esteva, L Godo, P Hájek, F Montagna‏
Journal of Logic and Computation 13 (4), 532-555, 2003‏
1652003
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‏
1632009
MV-algebras with internal states and probabilistic fuzzy logics‏
T Flaminio, F Montagna‏
International Journal of Approximate Reasoning 50 (1), 138-152, 2009‏
1572009
An algebraic approach to propositional fuzzy logic‏
F Montagna‏
Journal of Logic, Language and Information 9 (1), 91-124, 2000‏
1482000
Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL∀‏
F Montagna, H Ono‏
Studia Logica 71, 227-245, 2002‏
952002
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‏
842001
Amalgamation and interpolation in ordered algebras‏
G Metcalfe, F Montagna, C Tsinakis‏
Journal of Algebra 402, 21-82, 2014‏
832014
Equational characterization of the subvarieties of BL generated by t-norm algebras‏
F Esteva, L Godo, F Montagna‏
Studia logica 76, 161-200, 2004‏
802004
The predicate modal logic of provability.‏
F Montagna‏
Notre Dame Journal of Formal Logic 25 (2), 179-189, 1984‏
751984
Three complexity problems in quantified fuzzy logic‏
F Montagna‏
Studia logica 68 (1), 143-152, 2001‏
742001
On weakly cancellative fuzzy logics‏
F Montagna, C Noguera, R Horčík‏
Journal of Logic and Computation 16 (4), 423-450, 2006‏
682006
On the structure of generalized BL-algebras‏
P Jipsen, F Montagna‏
Algebra Universalis 55 (2), 227-238, 2006‏
672006
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
On the diagonalizable algebra of Peano arithmetic‏
F Montagna‏
Bollettino della Unione Matematica Italiana 16 (5), 795-812, 1979‏
651979
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20