The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Franco Montagna: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi
    On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms. [Citation Graph (0, 0)][DBLP]
    COLT, 2003, pp:699-713 [Conf]
  2. Francesc Esteva, Lluis Godo, Franco Montagna
    Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. [Citation Graph (0, 0)][DBLP]
    IFSA, 2003, pp:172-179 [Conf]
  3. Franco Montagna
    On the predicate logics of continuous t-norm BL-algebras. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2005, v:44, n:1, pp:97-114 [Journal]
  4. Sándor Jenei, Franco Montagna
    On the continuity points of left-continuous t-norms. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:8, pp:797-810 [Journal]
  5. Tommaso Flaminio, Franco Montagna
    A logical and algebraic treatment of conditional probability. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2005, v:44, n:2, pp:245-262 [Journal]
  6. Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith
    Complexity of t-tautologies. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:3-11 [Journal]
  7. Franco Montagna
    Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:148-179 [Journal]
  8. Roberto Cignoli, Francesc Esteva, Lluis Godo, Franco Montagna
    On a class of left-continuous t-norms. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2002, v:131, n:3, pp:283-296 [Journal]
  9. Sándor Jenei, Franco Montagna
    A general method for constructing left-continuous t-norms. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2003, v:136, n:3, pp:263-282 [Journal]
  10. Franco Montagna, Claudio Marini, Giulia Simi
    Product logic and probabilistic Ulam games. [Citation Graph (0, 0)][DBLP]
    Fuzzy Sets and Systems, 2007, v:158, n:6, pp:639-651 [Journal]
  11. Matthias Baaz, Agata Ciabattoni, Franco Montagna
    Analytic Calculi for Monoidal T-norm Based Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:59, n:4, pp:315-332 [Journal]
  12. Franco Montagna
    Investigations on Measure-One Identification of Classes of Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:143, n:1, pp:74-107 [Journal]
  13. Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna
    The Guessing Secrets problem: a probabilistic approach. [Citation Graph (0, 0)][DBLP]
    J. Algorithms, 2005, v:55, n:2, pp:142-176 [Journal]
  14. John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi
    On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2005, v:71, n:3, pp:308-332 [Journal]
  15. Franco Montagna
    An Algebraic Approach to Propositional Fuzzy Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2000, v:9, n:1, pp:91-124 [Journal]
  16. Sergei N. Artëmov, Franco Montagna
    On First-Order Theories with Provability Operator. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:4, pp:1139-1153 [Journal]
  17. Franco Montagna
    Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1987, v:52, n:2, pp:494-511 [Journal]
  18. Franco Montagna
    Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1992, v:57, n:3, pp:844-863 [Journal]
  19. Franco Montagna, Andrea Sorbi
    Universal Recursion Theoretic Properties of R.E. Preordered Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:397-406 [Journal]
  20. Franco Montagna, Andrea Sorbi
    Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:3, pp:1023-1041 [Journal]
  21. Robert A. Di Paola, Franco Montagna
    Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1991, v:56, n:2, pp:643-660 [Journal]
  22. Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna
    Hoops and Fuzzy Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:4, pp:532-555 [Journal]
  23. Franco Montagna
    Storage Operators and Multiplicative Quantifiers in Many-valued Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:2, pp:299-322 [Journal]
  24. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
    A Tableau Calculus for Hájek's Logic BL. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:2, pp:241-259 [Journal]
  25. Franco Montagna, Carles Noguera, Rostislav Horcík
    On Weakly Cancellative Fuzzy Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:4, pp:423-450 [Journal]
  26. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
    A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:2, pp:171-182 [Journal]
  27. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
    Investigations on Fragments of First Order Branching Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:51-62 [Journal]
  28. Franco Montagna, Lorenzo Sacchetti
    Kripke-style semantics for many-valued logics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2003, v:49, n:6, pp:629-641 [Journal]
  29. Franco Montagna, Lorenzo Sacchetti
    Corrigendum to "Kripke-style semantics for many-valued logics". [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:104-107 [Journal]
  30. Andrea Sorbi, Sandra Fontani, Franco Montagna
    A Note on Relative Efficiency of Axiom Systems. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1994, v:40, n:, pp:261-272 [Journal]
  31. Franco Montagna
    ``Pathologies'' in Two Syntactic Categories of Partial Maps. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:105-116 [Journal]
  32. Franco Montagna, Antonella Mancini
    A Minimal Predicative Set Theory. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1994, v:35, n:2, pp:186-203 [Journal]
  33. Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna
    On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:2, pp:199-226 [Journal]
  34. Francesc Esteva, Lluis Godo, Franco Montagna
    Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2004, v:76, n:2, pp:161-200 [Journal]
  35. Sándor Jenei, Franco Montagna
    A Proof of Standard Completeness for Esteva and Godo's Logic MTL. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:2, pp:183-192 [Journal]
  36. Duccio Luchi, Franco Montagna
    An Operational Logic of Proofs with Positive and Negative Information. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:63, n:1, pp:7-25 [Journal]
  37. Franco Montagna
    Three Complexity Problems in Quantified Fuzzy Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2001, v:68, n:1, pp:143-152 [Journal]
  38. Franco Montagna, Hiroakira Ono
    Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:71, n:2, pp:227-245 [Journal]
  39. Franco Montagna, Giulia Simi
    Paradigms in Measure Theoretic Learning and in Informant Learning. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1999, v:62, n:2, pp:243-268 [Journal]
  40. Franco Montagna
    Generating the variety of BL-algebras. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2005, v:9, n:12, pp:869-874 [Journal]
  41. Franco Montagna, L. Spada
    Continuous approximations of product implication in MV-algebras with product. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2005, v:9, n:3, pp:149-154 [Journal]
  42. Antonio di Nola, Francesc Esteva, Lluis Godo, Franco Montagna
    Varieties of BL-algebras. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2005, v:9, n:12, pp:875-888 [Journal]
  43. Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi
    PAC learning of probability distributions over a discrete domain. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:299, pp:37-63 [Journal]
  44. Sándor Jenei, Franco Montagna
    Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:231-246 [Conf]
  45. Franco Montagna
    Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:247-274 [Conf]
  46. Simone Bova, Franco Montagna
    Proof Search in Hajek's Basic Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  47. Enrico Marchioni, Franco Montagna
    Complexity and Definability Issues in L Pi 1/2. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:2, pp:311-331 [Journal]

  48. An Algebraic Approach to States on MV-algebras. [Citation Graph (, )][DBLP]


  49. The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. [Citation Graph (, )][DBLP]


  50. Supersound many-valued logics and Dedekind-MacNeille completions. [Citation Graph (, )][DBLP]


  51. Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. [Citation Graph (, )][DBLP]


Search in 0.170secs, Finished in 0.171secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002