default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranco Montagna
Person information
- affiliation: University of Siena
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2018
[j100]Tommaso Flaminio
, Hykel Hosni, Franco Montagna:
Strict Coherence on Many-Valued Events. J. Symb. Log. 83(1): 55-69 (2018)- [j99]Paolo Aglianò, Franco Montagna:
Varieties of BL-Algebras II. Stud Logica 106(4): 721-737 (2018) - 2016
- [j98]Mattia Bongini, Agata Ciabattoni, Franco Montagna:
Proof search and Co-NP completeness for many-valued logics. Fuzzy Sets Syst. 292: 130-149 (2016) - [j97]Esther Anna Corsi, Franco Montagna:
The Rényi-Ulam games and many-valued logics. Fuzzy Sets Syst. 301: 37-50 (2016) - [j96]Sándor Jenei, Franco Montagna:
Erratum to: A classification of certain group-like FLe-chains. Synth. 193(1): 313 (2016) - 2015
- [j95]Franco Montagna, Giulia Simi, Andrea Sorbi:
Taking the Pirahã seriously. Commun. Nonlinear Sci. Numer. Simul. 21(1-3): 52-69 (2015) - [j94]Franco Montagna, Sara Ugolini:
A Categorical Equivalence for Product Algebras. Stud Logica 103(2): 345-373 (2015) - [j93]Matteo Bianchi, Franco Montagna:
Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Stud Logica 103(6): 1163-1181 (2015) - [j92]Matteo Bianchi, Franco Montagna:
Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL. Stud Logica 103(6): 1183 (2015) - [j91]Sándor Jenei, Franco Montagna:
A classification of certain group-like FLe-chains. Synth. 192(7): 2095-2121 (2015) - 2014
- [c7]Hykel Hosni, Franco Montagna:
Stable Non-standard Imprecise Probabilities. IPMU (3) 2014: 436-445 - 2013
- [j90]Franco Montagna, Martina Fedel, Giuseppe Scianna:
Non-standard probability, coherence and conditional probability on many-valued events. Int. J. Approx. Reason. 54(5): 573-589 (2013) - [j89]Sándor Jenei, Franco Montagna:
Strongly involutive uninorm algebras. J. Log. Comput. 23(3): 707-726 (2013) - [j88]Franco Montagna, Duccio Pianigiani:
A Short Note on Essentially Σ1 Sentences. Logica Universalis 7(1): 103-111 (2013) - [j87]Simone Bova, Franco Montagna:
Polynomial space hardness without disjunction property. Theor. Comput. Sci. 467: 1-11 (2013) - [j86]Agata Ciabattoni, Franco Montagna:
Proof theory for locally finite many-valued logics: Semi-projective logics. Theor. Comput. Sci. 480: 26-42 (2013) - 2012
- [j85]Franco Montagna:
Partially Undetermined Many-Valued Events and Their Conditional Probability. J. Philos. Log. 41(3): 563-593 (2012) - [j84]Franco Montagna:
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation. Stud Logica 100(1-2): 289-317 (2012) - [c6]Sándor Jenei, Franco Montagna:
Two new classification theorems on residuated monoids. ISMVL 2012: 75-78 - 2011
- [j83]Franco Montagna:
Completeness with respect to a chain and universal models in fuzzy logic. Arch. Math. Log. 50(1-2): 161-183 (2011) - [j82]Matteo Bianchi, Franco Montagna:
n-Contractive BL-logics. Arch. Math. Log. 50(3-4): 257-285 (2011) - [j81]Franco Montagna:
Editorial. Log. J. IGPL 19(3): 435-436 (2011) - [j80]Martina Fedel, Hykel Hosni, Franco Montagna:
A logical characterization of coherence for imprecise probabilities. Int. J. Approx. Reason. 52(8): 1147-1170 (2011) - [j79]Anatolij Dvurecenskij, Tomasz Kowalski, Franco Montagna:
State morphism MV-algebras. Int. J. Approx. Reason. 52(8): 1215-1228 (2011) - [j78]Tommaso Flaminio, Franco Montagna:
Models for Many-Valued Probabilistic Reasoning. J. Log. Comput. 21(3): 447-464 (2011) - [j77]Franco Montagna:
A Notion of Coherence for Books on Conditional Events in Many-valued Logic. J. Log. Comput. 21(5): 829-850 (2011) - [j76]Tommaso Cortonesi, Enrico Marchioni, Franco Montagna:
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. Notre Dame J. Formal Log. 52(4): 339-379 (2011) - 2010
- [j75]Agata Ciabattoni, George Metcalfe, Franco Montagna:
Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst. 161(3): 369-389 (2010) - [j74]Franco Montagna, Carles Noguera:
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics. J. Log. Comput. 20(2): 399-424 (2010)
2000 – 2009
- 2009
- [j73]Matteo Bianchi, Franco Montagna:
Supersound many-valued logics and Dedekind-MacNeille completions. Arch. Math. Log. 48(8): 719-736 (2009) - [j72]Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna, Carles Noguera:
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann. Pure Appl. Log. 160(1): 53-81 (2009) - [j71]Tommaso Flaminio, Franco Montagna:
MV-algebras with internal states and probabilistic fuzzy logics. Int. J. Approx. Reason. 50(1): 138-152 (2009) - [j70]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. 179(20): 3645-3658 (2009) - [j69]Rostislav Horcík, Franco Montagna:
Archimedean classes in integral commutative residuated chains. Math. Log. Q. 55(3): 320-336 (2009) - [j68]Simone Bova, Franco Montagna:
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor. Comput. Sci. 410(12-13): 1143-1158 (2009) - 2008
- [j67]Enrico Marchioni, Franco Montagna:
On triangular norms and uninorms definable in Pi 1/2. Int. J. Approx. Reason. 47(2): 179-201 (2008) - [j66]Petr Hájek, Franco Montagna:
A note on the first-order logic of complete BL-chains. Math. Log. Q. 54(4): 435-446 (2008) - [j65]Simone Bova, Franco Montagna:
Proof search in Hájek's basic logic. ACM Trans. Comput. Log. 9(3): 21:1-21:26 (2008) - 2007
- [j64]Franco Montagna, Claudio Marini, Giulia Simi:
Product logic and probabilistic Ulam games. Fuzzy Sets Syst. 158(6): 639-651 (2007) - [j63]George Metcalfe, Franco Montagna:
Substructural fuzzy logics. J. Symb. Log. 72(3): 834-864 (2007) - [j62]Enrico Marchioni, Franco Montagna:
Complexity and Definability Issues in L Pi 1/2. J. Log. Comput. 17(2): 311-331 (2007) - [j61]Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna:
Basic Hoops: an Algebraic Study of Continuous t -norms. Stud Logica 87(1): 73-98 (2007) - [c5]Tommaso Flaminio, Franco Montagna:
An Algebraic Approach to States on MV-algebras. EUSFLAT Conf. (2) 2007: 201-206 - 2006
- [j60]Franco Montagna:
Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. Ann. Pure Appl. Log. 141(1-2): 148-179 (2006) - [j59]Franco Montagna, Carles Noguera, Rostislav Horcík:
On Weakly Cancellative Fuzzy Logics. J. Log. Comput. 16(4): 423-450 (2006) - [c4]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: 231-246 - [c3]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: 247-274 - [i1]Simone Bova, Franco Montagna:
Proof Search in Hajek's Basic Logic. CoRR abs/cs/0605094 (2006) - 2005
- [j58]Franco Montagna:
On the predicate logics of continuous t-norm BL-algebras. Arch. Math. Log. 44(1): 97-114 (2005) - [j57]Tommaso Flaminio, Franco Montagna:
A logical and algebraic treatment of conditional probability. Arch. Math. Log. 44(2): 245-262 (2005) - [j56]Alberto Del Lungo, Guy Louchard, Claudio Marini, Franco Montagna:
The Guessing Secrets problem: a probabilistic approach. J. Algorithms 55(2): 142-176 (2005) - [j55]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. 71(3): 308-332 (2005) - [j54]Franco Montagna, Luca Spada:
Continuous approximations of product implication in MV-algebras with product. Soft Comput. 9(3): 149-154 (2005) - [j53]Franco Montagna:
Generating the variety of BL-algebras. Soft Comput. 9(12): 869-874 (2005) - [j52]Antonio Di Nola, Francesc Esteva, Lluís Godo, Franco Montagna:
Varieties of BL-algebras. Soft Comput. 9(12): 875-888 (2005) - 2004
- [j51]Matthias Baaz, Agata Ciabattoni, Franco Montagna:
Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Informaticae 59(4): 315-332 (2004) - [j50]Franco Montagna:
Storage Operators and Multiplicative Quantifiers in Many-valued Logics. J. Log. Comput. 14(2): 299-322 (2004) - [j49]Franco Montagna, Lorenzo Sacchetti:
Corrigendum to "Kripke-style semantics for many-valued logics". Math. Log. Q. 50(1): 104-107 (2004) - [j48]Francesc Esteva, Lluís Godo, Franco Montagna:
Equational Characterization of the Subvarieties of BL Generated by t-norm Algebras. Stud Logica 76(2): 161-200 (2004) - 2003
- [j47]Sándor Jenei, Franco Montagna:
On the continuity points of left-continuous t-norms. Arch. Math. Log. 42(8): 797-810 (2003) - [j46]Sándor Jenei, Franco Montagna:
A general method for constructing left-continuous t-norms. Fuzzy Sets Syst. 136(3): 263-282 (2003) - [j45]Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
A Tableau Calculus for Hájek's Logic BL. J. Log. Comput. 13(2): 241-259 (2003) - [j44]Francesc Esteva, Lluís Godo, Petr Hájek, Franco Montagna:
Hoops and Fuzzy Logic. J. Log. Comput. 13(4): 532-555 (2003) - [j43]Franco Montagna, Lorenzo Sacchetti:
Kripke-style semantics for many-valued logics. Math. Log. Q. 49(6): 629-641 (2003) - [j42]Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi:
PAC learning of probability distributions over a discrete domain. Theor. Comput. Sci. 299(1-3): 37-63 (2003) - [c2]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: 699-713 - [c1]Francesc Esteva, Lluís Godo, Franco Montagna:
Axiomatization of Anz Residuated Fuzzy Logic Defined bz a Continuous T-norm. IFSA 2003: 172-179 - 2002
- [j41]Roberto Cignoli, Francesc Esteva, Lluís Godo, Franco Montagna:
On a class of left-continuous t-norms. Fuzzy Sets Syst. 131(3): 283-296 (2002) - [j40]Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi:
Investigations on Fragments of First Order Branching Temporal Logic. Math. Log. Q. 48(1): 51-62 (2002) - [j39]Sándor Jenei, Franco Montagna:
A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Stud Logica 70(2): 183-192 (2002) - [j38]Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna:
On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Stud Logica 71(2): 199-226 (2002) - [j37]Franco Montagna, Hiroakira Ono:
Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL[forall]. Stud Logica 71(2): 227-245 (2002) - 2001
- [j36]Francesc Esteva, Lluís 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. 40(1): 39-67 (2001) - [j35]Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith:
Complexity of t-tautologies. Ann. Pure Appl. Log. 113(1-3): 3-11 (2001) - [j34]Franco Montagna:
Three Complexity Problems in Quantified Fuzzy Logic. Stud Logica 68(1): 143-152 (2001) - 2000
- [j33]Franco Montagna:
An Algebraic Approach to Propositional Fuzzy Logic. J. Log. Lang. Inf. 9(1): 91-124 (2000) - [j32]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. 46(2): 171-182 (2000)
1990 – 1999
- 1999
- [j31]Franco Montagna, Giulia Simi:
Paradigms in Measure Theoretic Learning and in Informant Learning. Stud Logica 62(2): 243-268 (1999) - [j30]Duccio Luchi, Franco Montagna:
An Operational Logic of Proofs with Positive and Negative Information. Stud Logica 63(1): 7-25 (1999) - [j29]Franco Montagna, Daniel N. Osherson:
Learning to Coordinate; a Recursion Theoretic Perspective. Synth. 118(3): 363-382 (1999) - 1998
- [j28]Franco Montagna:
Investigations on Measure-One Identification of Classes of Languages. Inf. Comput. 143(1): 74-107 (1998) - 1996
- [j27]Franco Montagna:
An algebraic treatment of quantifier-free systems of arithmetic. Arch. Math. Log. 35(4): 209-224 (1996) - [j26]Franco Montagna, Giulia Simi, Andrea Sorbi:
Logic and probabilistic systems. Arch. Math. Log. 35(4): 225-261 (1996) - 1994
- [j25]Sergei N. Artëmov, Franco Montagna:
On First-Order Theories with Provability Operator. J. Symb. Log. 59(4): 1139-1153 (1994) - [j24]Andrea Sorbi, Sandra Fontani, Franco Montagna:
A Note on Relative Efficiency of Axiom Systems. Math. Log. Q. 40: 261-272 (1994) - [j23]Franco Montagna, Antonella Mancini:
A Minimal Predicative Set Theory. Notre Dame J. Formal Log. 35(2): 186-203 (1994) - 1992
- [j22]Petr Hájek, Franco Montagna:
The logic ofII1-conservativity continued. Arch. Math. Log. 32(1): 57-63 (1992) - [j21]Franco Montagna:
Polynomially and Superexponentially Shorter Proofs in Fragments of Logic. J. Symb. Log. 57(3): 844-863 (1992) - 1991
- [j20]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. 56(2): 643-660 (1991) - [j19]Dick de Jongh, Marc Jumelet, Franco Montagna:
On the proof of Solovay's theorem. Stud Logica 50(1): 51-69 (1991) - [j18]Dick de Jongh, Franco Montagna:
Rosser orderings and free variables. Stud Logica 50(1): 71-80 (1991) - 1990
- [j17]Petr Hájek, Franco Montagna:
The logic of π1-conservativity. Arch. Math. Log. 30(2): 113-123 (1990) - [j16]Alessandra Carbone, Franco Montagna:
Much shorter proofs: A bimodal investigation. Math. Log. Q. 36(1): 47-66 (1990) - [j15]Franco Montagna, Giovanni Sommaruga:
A note on some extension results. Stud Logica 49(4): 591-600 (1990)
1980 – 1989
- 1989
- [j14]Franco Montagna, Andrea Sorbi:
Creativeness and Completeness in Recursion Categories of Partial Recursive Operators. J. Symb. Log. 54(3): 1023-1041 (1989) - [j13]Dick de Jongh, Franco Montagna:
Much Shorter Proofs. Math. Log. Q. 35(3): 247-260 (1989) - [j12]Alessandra Carbone, Franco Montagna:
Rosser Orderings in Bimodal Logics. Math. Log. Q. 35(4): 343-358 (1989) - [j11]Franco Montagna:
"Pathologies" in Two Syntactic Categories of Partial Maps. Notre Dame J. Formal Log. 30(1): 105-116 (1989) - 1988
- [j10]Franco Montagna, Giovanni Sommaruga:
Rosser and mostowski sentences. Arch. Math. Log. 27(2): 115-133 (1988) - [j9]Dick De Jongh, Franco Montagna:
Provable Fixed Points. Math. Log. Q. 34(3): 229-250 (1988) - 1987
- [j8]Franco Montagna:
Provability in Finite Subtheories of Pa and Relative Interpretability: A Modal Investigation. J. Symb. Log. 52(2): 494-511 (1987) - [j7]Franco Montagna:
Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras. Math. Log. Q. 33(4): 293-303 (1987) - [j6]Dick H. J. Jongh, Franco Montagna:
Generic generalized Rosser fixed points. Stud Logica 46(2): 193-203 (1987) - 1985
- [j5]Franco Montagna, Andrea Sorbi:
Universal Recursion Theoretic Properties of R.E. Preordered Structures. J. Symb. Log. 50(2): 397-406 (1985) - 1984
- [j4]Franco Montagna:
A Completeness Result for Fixed-Point Algebras. Math. Log. Q. 30(32-34): 525-532 (1984) - [j3]Franco Montagna:
The predicate modal logic of provability. Notre Dame J. Formal Log. 25(2): 179-189 (1984) - 1983
- [j2]Franco Montagna:
Zfc-Models as Kripke-Models. Math. Log. Q. 29(3): 163-168 (1983) - 1982
- [j1]Franco Montagna:
Relatively precomplete numerations and arithmetic. J. Philos. Log. 11(4): 419-430 (1982)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
