MONTAGNA, FRANCO

MONTAGNA, FRANCO  

Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche  

Mostra records
Risultati 1 - 20 di 72 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autore(i) File Abstract
A proof of standard completeness for Esteva and Godo's logic MTL 1-gen-2002 Montagna, Franco; Jenei, S. -
Adding structure to MV algebras 1-gen-2002 Montagna, Franco; Panti, G. -
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions 1-gen-2010 Ciabattoni, A; Metcalfe, G; Montagna, Franco -
An algebraic treatment of quantifier-free systems of arithmetic 1-gen-1996 Montagna, Franco -
An algebraic approach to propositional fuzzy logic 1-gen-2000 Montagna, Franco -
An algebraic treatment of imprecise probabilities 1-gen-2011 Montagna, Franco -
Analytic Calculi for Monoidal T-norm Based Logic 1-gen-2004 M., Baaz; A., Ciabattoni; Montagna, Franco -
Archimedean classes in integral, commutative residuated lattices. 1-gen-2009 R., Horcik; Montagna, Franco -
Arithmetical complexity of first-order fuzzy logics 1-gen-2011 Hájek, Petr; Montagna, Franco; NOGUERA CLOFENT, Carles -
Arithmetical Complexity of First-Order Predicate Logics over Distinguished Semantics 1-gen-2010 Noguera, C; Montagna, Franco -
Basic Hoops: an Algebraic Study of Continuous t-norms 1-gen-2007 Agliano', P.; Ferreirim, I. M. A.; Montagna, F. -
The Blok-Ferreirim theorem for normal GBL algebras and application 1-gen-2009 Jipsen, P; Montagna, Franco -
Cancellative residuated lattices as lattice ordered groups with a modality 1-gen-2007 Montagna, Franco; Tsinakis, C. -
Completeness with respect to a chain and universal models in fuzzy logic 1-gen-2011 Montagna, Franco -
Complexity and definability issues in ŁΠ½ 1-gen-2007 Montagna, Franco; Marchioni, E. -
Complexity of t-tautologies 1-gen-2002 Montagna, Franco; M., Baaz; P., Hàjek; H., Veith -
Creativeness and completeness in recursion categories of partial recursive operators 1-gen-1989 Montagna, Franco; Sorbi, Andrea -
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalences. 1-gen-2009 Cintula, P.; Esteva, G.; Gispert, J.; Godo, L.; Montagna, Franco; Noguera, C. -
Embedding theorems for normal GBL-algebras 1-gen-2010 Jipsen, P.; Montagna, Franco -
Equational fragments of systems for arithmetic 1-gen-2001 Montagna, Franco; Sebastiani, V. -