| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Franco Montagna |
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.  |
Studia Logica  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
Editorial. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Cortonesi, Enrico Marchioni, Franco Montagna |
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. |
Notre Dame Journal of Formal Logic |
2011 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Flaminio, Franco Montagna |
Models for Many-Valued Probabilistic Reasoning. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
A Notion of Coherence for Books on Conditional Events in Many-valued Logic. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna |
State morphism MV-algebras. |
Int. J. Approx. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martina Fedel, Hykel Hosni, Franco Montagna |
A logical characterization of coherence for imprecise probabilities. |
Int. J. Approx. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
Completeness with respect to a chain and universal models in fuzzy logic. |
Arch. Math. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Bianchi, Franco Montagna |
n-Contractive BL-logics. |
Arch. Math. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna, Carles Noguera |
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, George Metcalfe, Franco Montagna |
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. |
Fuzzy Sets and Systems |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rostislav Horcík, Franco Montagna |
Archimedean classes in integral commutative residuated chains. |
Math. Log. Q. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Bova, Franco Montagna |
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Sergioli, Antonio Ledda, Francesco Paoli, Roberto Giuntini, Tomasz Kowalski, Franco Montagna, Hector Freytes, Claudio Marini |
Two cooperative versions of the Guessing Secrets problem. |
Inf. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Cintula, Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna, Carles Noguera |
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Flaminio, Franco Montagna |
MV-algebras with internal states and probabilistic fuzzy logics. |
Int. J. Approx. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Bianchi, Franco Montagna |
Supersound many-valued logics and Dedekind-MacNeille completions. |
Arch. Math. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Franco Montagna |
A note on the first-order logic of complete BL-chains. |
Math. Log. Q. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Marchioni, Franco Montagna |
On triangular norms and uninorms definable in Pi 1/2. |
Int. J. Approx. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Bova, Franco Montagna |
Proof search in Hájek's basic logic. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
countermodel building, Fuzzy logic, automated deduction |
| 1 | P. Aglianò, Isabel M. A. Ferreirim, Franco Montagna |
Basic Hoops: an Algebraic Study of Continuous t -norms. |
Studia Logica |
2007 |
DBLP DOI BibTeX RDF |
basic hoops, continuous t-norms, subreducts of BL-algebras |
| 1 | George Metcalfe, Franco Montagna |
Substructural fuzzy logics. |
J. Symb. Log. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Enrico Marchioni, Franco Montagna |
Complexity and Definability Issues in L Pi 1/2. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna, Claudio Marini, Giulia Simi |
Product logic and probabilistic Ulam games. |
Fuzzy Sets and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Flaminio, Franco Montagna |
An Algebraic Approach to States on MV-algebras. |
EUSFLAT Conf. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna, Carles Noguera, Rostislav Horcík |
On Weakly Cancellative Fuzzy Logics. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Bova, Franco Montagna |
Proof Search in Hajek's Basic Logic |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sándor Jenei, Franco Montagna |
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
Notes on Strong Completeness in Lukasiewicz, Product and BL Logics and in Their First-Order Extensions. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
Generating the variety of BL-algebras. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna, Luca Spada |
Continuous approximations of product implication in MV-algebras with product. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
?-algebras, MV-algebras |
| 1 | Antonio di Nola, Francesc Esteva, Lluis Godo, Franco Montagna |
Varieties of BL-algebras. |
Soft Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna |
The Guessing Secrets problem: a probabilistic approach. |
J. Algorithms |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi |
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. |
J. Comput. Syst. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Flaminio, Franco Montagna |
A logical and algebraic treatment of conditional probability. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Coherence, Many-valued logic, Conditional probability |
| 1 | Franco Montagna |
On the predicate logics of continuous t-norm BL-algebras. |
Arch. Math. Log. |
2005 |
DBLP DOI BibTeX RDF |
Predicate many-valued logics, T-norm semantics, Complexity |
| 1 | Franco Montagna, Lorenzo Sacchetti |
Corrigendum to "Kripke-style semantics for many-valued logics". |
Math. Log. Q. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesc Esteva, Lluis Godo, Franco Montagna |
Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
t-norm algebras, axiomatization, varieties, Bl-algebras |
| 1 | Franco Montagna |
Storage Operators and Multiplicative Quantifiers in Many-valued Logics. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Franco Montagna |
Analytic Calculi for Monoidal T-norm Based Logic. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna, Lorenzo Sacchetti |
Kripke-style semantics for many-valued logics. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi |
PAC learning of probability distributions over a discrete domain. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesc Esteva, Lluis Godo, Petr Hájek, Franco Montagna |
Hoops and Fuzzy Logic. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi |
A Tableau Calculus for Hájek's Logic BL. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Jenei, Franco Montagna |
A general method for constructing left-continuous t-norms. |
Fuzzy Sets and Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Jenei, Franco Montagna |
On the continuity points of left-continuous t-norms. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
Left-continuity, Continuity, Residuated lattice, t-norm |
| 1 | John Case, Sanjay Jain, Franco Montagna, Giulia Simi, Andrea Sorbi |
On Learning to Coordinate: Random Bits Help, Insightful Normal Forms, and Competency Isomorphisms. |
COLT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesc Esteva, Lluis Godo, Franco Montagna |
Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. |
IFSA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi |
Investigations on Fragments of First Order Branching Temporal Logic. |
Math. Log. Q. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna, Hiroakira Ono |
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sándor Jenei, Franco Montagna |
A Proof of Standard Completeness for Esteva and Godo's Logic MTL. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna |
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Cignoli, Francesc Esteva, Lluis Godo, Franco Montagna |
On a class of left-continuous t-norms. |
Fuzzy Sets and Systems |
2002 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna |
Three Complexity Problems in Quantified Fuzzy Logic. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith |
Complexity of t-tautologies. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesc Esteva, Lluis Godo, Franco Montagna |
The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi |
A Cut-free Proof System for Bounded Metric Temporal Logic Over a Dense Time Domain. |
Math. Log. Q. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
An Algebraic Approach to Propositional Fuzzy Logic. |
Journal of Logic, Language and Information |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna, Giulia Simi |
Paradigms in Measure Theoretic Learning and in Informant Learning. |
Studia Logica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Duccio Luchi, Franco Montagna |
An Operational Logic of Proofs with Positive and Negative Information. |
Studia Logica |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
Investigations on Measure-One Identification of Classes of Languages. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Sorbi, Sandra Fontani, Franco Montagna |
A Note on Relative Efficiency of Axiom Systems. |
Math. Log. Q. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna, Antonella Mancini |
A Minimal Predicative Set Theory. |
Notre Dame Journal of Formal Logic |
1994 |
DBLP BibTeX RDF |
|
| 1 | Sergei N. Artëmov, Franco Montagna |
On First-Order Theories with Provability Operator. |
J. Symb. Log. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna |
Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. |
J. Symb. Log. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Robert A. Di Paola, Franco Montagna |
Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic. |
J. Symb. Log. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna |
"Pathologies" in Two Syntactic Categories of Partial Maps. |
Notre Dame Journal of Formal Logic |
1989 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna, Andrea Sorbi |
Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. |
J. Symb. Log. |
1989 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna |
Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation. |
J. Symb. Log. |
1987 |
DBLP BibTeX RDF |
|
| 1 | Franco Montagna, Andrea Sorbi |
Universal Recursion Theoretic Properties of R.E. Preordered Structures. |
J. Symb. Log. |
1985 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")