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 logical and algebraic treatment of conditional probability 1-gen-2005 Tommaso, Flaminio; Montagna, Franco -
A logical characterization of coherence for imprecise probabilities 1-gen-2011 Fedel, M.; Hosnih, ; Montagna, Franco -
A Note on Relative Efficiency of Axiom Systems 1-gen-1994 Fontani, Sandra; Montagna, F.; Sorbi, A. -
A note on the first order logic of complete BL chains 1-gen-2008 Hàjek, P; Montagna, Franco -
A notion of coherence for books on conditional events in many-valued logic 1-gen-2011 Montagna, Franco -
A proof of standard completeness for Esteva and Godo's logic MTL 1-gen-2002 Montagna, Franco; Jenei, S. -
A short note on essentially $\Sigma_1$ sentences (revised and extendend version) 1-gen-2012 Montagna, Franco; Pianigiani, Duccio -
A tableau calculus for Hajek’s logic BL 1-gen-2003 Montagna, Franco; Pinna, GIOVANNI MICHELE; Tiezzi, ELISA BENEDETTA PRIMAVERA -
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 approach to propositional fuzzy logic 1-gen-2000 Montagna, Franco -
An algebraic treatment of imprecise probabilities 1-gen-2011 Montagna, Franco -
An algebraic treatment of quantifier-free systems of arithmetic 1-gen-1996 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. -
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 -