{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T08:10:36Z","timestamp":1718957436147},"reference-count":135,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s00500-016-2449-7","type":"journal-article","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T13:13:16Z","timestamp":1481980396000},"page":"1-7","source":"Crossref","is-referenced-by-count":7,"title":["Franco Montagna (1948\u20132015)"],"prefix":"10.1007","volume":"21","author":[{"given":"Aldo","family":"Ursini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"issue":"2\u20133","key":"2449_CR1","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"P Aglian\u00f2","year":"2003","unstructured":"Aglian\u00f2 P, Montagna F (2003) Varieties of BL-algebras I: general properties. J Pure Appl Algebra 181(2\u20133):105\u2013129","journal-title":"J Pure Appl Algebra"},{"issue":"1","key":"2449_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s11225-007-9078-1","volume":"87","author":"P Aglian\u00f2","year":"2007","unstructured":"Aglian\u00f2 P, Ferreirim IMA, Montagna F (2007) Basic hoops: an algebraic study of continuous t-norms. Stud Log 87(1):73\u201398","journal-title":"Stud Log"},{"issue":"4","key":"2449_CR3","doi-asserted-by":"publisher","first-page":"1139","DOI":"10.2307\/2275696","volume":"59","author":"S Art\u00ebmov","year":"1994","unstructured":"Art\u00ebmov S, Montagna F (1994) On first order theories with provability operators. J Symb Log 59(4):1139\u20131153","journal-title":"J Symb Log"},{"issue":"1\u20133","key":"2449_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0168-0072(01)00048-3","volume":"113","author":"M Baaz","year":"2001","unstructured":"Baaz M, H\u00e1jek P, Montagna F, Veith H (2001) Complexity of t-tautologies. Ann Pure Appl Log 113(1\u20133):3\u201311","journal-title":"Ann Pure Appl Log"},{"issue":"4","key":"2449_CR5","first-page":"315","volume":"59","author":"M Baaz","year":"2004","unstructured":"Baaz M, Cibattoni F, Montagna F (2004) Analytic calculi for monoidal t-norm based logic. Fundam Inf 59(4):315\u2013332","journal-title":"Fundam Inf"},{"key":"2449_CR6","unstructured":"Bellissima F, Montagna F (2006) Matematica per l\u2019informatica. Aritmetica e logica, probabilit\u00e0 e grafi. Carocci, Roma"},{"issue":"3","key":"2449_CR7","doi-asserted-by":"crossref","first-page":"221","DOI":"10.4064\/fm-124-3-221-233","volume":"124","author":"C Bernardi","year":"1984","unstructured":"Bernardi C, Montagna F (1984) Equivalence relations induced by extensional formulae: classification by means of a new fixed point property. Fundam Math 124(3):221\u2013232","journal-title":"Fundam Math"},{"issue":"8","key":"2449_CR8","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/s00153-009-0145-3","volume":"48","author":"M Bianchi","year":"2009","unstructured":"Bianchi M, Montagna F (2009) Supersound many valued logics and Dedekind-MacNeille completions. Arch Math Log 48(8):719\u2013736","journal-title":"Arch Math Log"},{"issue":"3\u20134","key":"2449_CR9","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s00153-010-0213-8","volume":"50","author":"M Bianchi","year":"2011","unstructured":"Bianchi M, Montagna F (2011) $$n$$-contractive BL-logics. Arch Math Log 50(3\u20134):257\u2013285","journal-title":"Arch Math Log"},{"key":"2449_CR10","doi-asserted-by":"crossref","unstructured":"Bianchi M, Montagna F (2015) Trakhtenbrot theorem and first-order axiomatic extensions of MTL. Stud Log 103(6):1163\u20131181 (Erratum: Studia Logica 103(6) (2015), p. 1183)","DOI":"10.1007\/s11225-015-9614-3"},{"key":"2449_CR11","doi-asserted-by":"crossref","unstructured":"Bova S, Montagna F (2008) Proof search in H\u00e1jek\u2019s basic logic. ACM Trans Comput Log 9(3:26):1\u201326","DOI":"10.1145\/1352582.1352589"},{"issue":"12\u201313","key":"2449_CR12","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1016\/j.tcs.2008.10.024","volume":"410","author":"S Bova","year":"2009","unstructured":"Bova S, Montagna F (2009) The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete. Theor Computer Sci 410(12\u201313):1143\u20131158","journal-title":"Theor Computer Sci"},{"key":"2449_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2012.08.025","volume":"467","author":"S Bova","year":"2013","unstructured":"Bova S, Montagna F (2013) Polynomial space hardness without disjunction property. Theor Comput Sci 467:1\u201311","journal-title":"Theor Comput Sci"},{"key":"2449_CR14","unstructured":"Busaniche M, Montagna F (2011) H\u00e1jek\u2019s logic BL and BL-algebras. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of mathematical fuzzy logic\u2013volume 1, vol 37., studies in logic, mathematical logic and foundationsCollege Publications, London, pp 355\u2013447"},{"issue":"4","key":"2449_CR15","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1002\/malq.19890350407","volume":"35","author":"A Carbone","year":"1989","unstructured":"Carbone A, Montagna F (1989) Rosser orderings in bimodal logics. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 35(4):343\u2013358","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"1","key":"2449_CR16","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1002\/malq.19900360107","volume":"36","author":"A Carbone","year":"1990","unstructured":"Carbone A, Montagna F (1990) Much shorter proofs: a bimodal investigation. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 36(1):47\u201366","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"3","key":"2449_CR17","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/j.jcss.2004.10.014","volume":"71","author":"J Case","year":"2005","unstructured":"Case J, Jain S, Montagna F, Simi G, Sorbi A (2005) On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. J Comput Syst Sci 71(3):308\u2013332","journal-title":"J Comput Syst Sci"},{"key":"2449_CR18","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.tcs.2013.02.003","volume":"480","author":"A Ciabattoni","year":"2013","unstructured":"Ciabattoni A, Montagna F (2013) Proof theory for locally finite many-valued logics: semi-projective logics. Theor Comput Sci 480:26\u201342","journal-title":"Theor Comput Sci"},{"issue":"3","key":"2449_CR19","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/j.fss.2009.09.001","volume":"161","author":"A Ciabattoni","year":"2010","unstructured":"Ciabattoni A, Metcalfe G, Montagna F (2010) Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions. Fuzzy Sets Syst 161(3):369\u2013389","journal-title":"Fuzzy Sets Syst"},{"issue":"3","key":"2449_CR20","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0165-0114(01)00215-9","volume":"131","author":"R Cignoli","year":"2002","unstructured":"Cignoli R, Esteva F, Godo L, Montagna F (2002) On a class of left continuous t-norms. Fuzzy Sets Syst 131(3):283\u2013296","journal-title":"Fuzzy Sets Syst"},{"issue":"1","key":"2449_CR21","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.apal.2009.01.012","volume":"160","author":"P Cintula","year":"2009","unstructured":"Cintula P, Esteva F, Gispert J, Godo L, Montagna F, Noguera C (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann Pure Appl Math Log 160(1):53\u201381","journal-title":"Ann Pure Appl Math Log"},{"key":"2449_CR22","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.fss.2015.09.006","volume":"301","author":"EA Corsi","year":"2016","unstructured":"Corsi EA, Montagna F (2016) The R\u00e9nyi-Ulam games and many-valued logics. Fuzzy Sets Syst 301:37\u201350","journal-title":"Fuzzy Sets Syst"},{"issue":"4","key":"2449_CR23","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1215\/00294527-1499336","volume":"52","author":"T Cortonesi","year":"2011","unstructured":"Cortonesi T, Marchioni E, Montagna F (2011) Quantifier elimination and other model-theoretic properties of BL-algebras. Notre Dame J Form Log 52(4):339\u2013379","journal-title":"Notre Dame J Form Log"},{"issue":"2","key":"2449_CR24","first-page":"193","volume":"46","author":"D de Jongh","year":"1987","unstructured":"de Jongh D, Montagna F (1987) Generic generalized fixed points. Stud Log 46(2):193\u2013203","journal-title":"Generic generalized fixed points. Stud Log"},{"issue":"3","key":"2449_CR25","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1002\/malq.19880340307","volume":"34","author":"D de Jongh","year":"1988","unstructured":"de Jongh D, Montagna F (1988) Provable fixed points. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 34(3):229\u2013250","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"3","key":"2449_CR26","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1002\/malq.19890350308","volume":"35","author":"D de Jongh","year":"1989","unstructured":"de Jongh D, Montagna F (1989) Much shorter proofs. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 35(3):247\u2013260","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"1","key":"2449_CR27","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BF00370388","volume":"50","author":"D de Jongh","year":"1991","unstructured":"de Jongh D, Montagna F (1991) Rosser orderings and free variables. Stud Log 50(1):71\u201380","journal-title":"Stud Log"},{"issue":"1","key":"2449_CR28","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/BF00370387","volume":"50","author":"D de Jongh","year":"1991","unstructured":"de Jongh D, Jumelet M, Montagna F (1991) On the proof of Solovay\u2019s theorem. Stud Log 50(1):51\u201370","journal-title":"Stud Log"},{"key":"2449_CR29","doi-asserted-by":"crossref","unstructured":"Del Lungo A, Louchard G, Marini C, Montagna, (2005) The guessing secrets problem: a probabilistic approach. J Algorithms 55(2):142\u2013176","DOI":"10.1016\/j.jalgor.2004.03.001"},{"key":"2449_CR30","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1007\/s00500-004-0446-8","volume":"9","author":"A Di Nola","year":"2005","unstructured":"Di Nola A, Esteva F, Godo L, Montagna F (2005) Varieties of BL-algebras. Soft Comput 9:875\u2013888","journal-title":"Soft Comput"},{"key":"2449_CR31","doi-asserted-by":"crossref","unstructured":"Di Paola RA, Montagna F (1991) Some properties of syntactic p-recursion categories generated by consistent recursively enumerable extensions of Peano Arithmetic. J Symb Log 56(2):643\u2013660","DOI":"10.2307\/2274707"},{"key":"2449_CR32","first-page":"123","volume-title":"Complexity, logic and recursion theory","author":"RA Di Paola","year":"1996","unstructured":"Di Paola RA, Montagna F (1996) Progressions of theories of bounded arithmetic. In: Sorbi A (ed) Complexity, logic and recursion theory. Decker, New York, pp 123\u2013156"},{"issue":"8","key":"2449_CR33","doi-asserted-by":"publisher","first-page":"1215","DOI":"10.1016\/j.ijar.2011.07.003","volume":"52","author":"A Dvure\u010denskij","year":"2011","unstructured":"Dvure\u010denskij A, Kowalski T, Montagna F (2011) State morphism MV-algebras. Int J Approx Reason 52(8):1215\u20131228","journal-title":"Int J Approx Reason"},{"issue":"1","key":"2449_CR34","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s001530050173","volume":"40","author":"F Esteva","year":"2001","unstructured":"Esteva F, Godo L, Montagna F (2001) The \u0141$$\\Pi $$ and \u0141 $$\\Pi \\frac{1}{2}$$ logics: two complete fuzzy systems joining \u0141uka and Product Logics. Arch Math Log 40(1):39\u201367","journal-title":"Arch Math Log"},{"issue":"2","key":"2449_CR35","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1016548805869","volume":"71","author":"F Esteva","year":"2002","unstructured":"Esteva F, Gispert J, Godo L, Montagna F (2002) On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Stud Log 71(2):199\u2013226","journal-title":"Stud Log"},{"issue":"4","key":"2449_CR36","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/13.4.532","volume":"13","author":"F Esteva","year":"2003","unstructured":"Esteva F, Godo L, H\u00e1jek P, Montagna F (2003) Hoops and fuzzy logic. J Log Comput 13(4):531\u2013545","journal-title":"J Log Comput"},{"issue":"2","key":"2449_CR37","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1023\/B:STUD.0000032084.12744.e3","volume":"76","author":"F Esteva","year":"2004","unstructured":"Esteva F, Godo L, Montagna F (2004) Equational characterization of subvarieties of BL generated by t-norm algebras. Stud Log 76(2):161\u2013200","journal-title":"Stud Log"},{"issue":"8","key":"2449_CR38","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1016\/j.ijar.2011.06.004","volume":"52","author":"M Fedel","year":"2011","unstructured":"Fedel M, Hosni H, Montagna F (2011) A logical characterization of coherence for imprecise probabilities. Int J Approx Reason 52(8):1147\u20131170","journal-title":"Int J Approx Reason"},{"issue":"2","key":"2449_CR39","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1515\/form.2011.123","volume":"25","author":"M Fedel","year":"2013","unstructured":"Fedel M, Keimel K, Montagna F, Roth W (2013a) Imprecise probabilities, bets and functional analytic methods in \u0141uka logic. Forum Math 25(2):405\u2013441","journal-title":"Forum Math"},{"issue":"5","key":"2449_CR40","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1016\/j.ijar.2013.02.003","volume":"54","author":"M Fedel","year":"2013","unstructured":"Fedel M, Montagna F, Scianna G (2013b) Non-standard probability, coherence and conditional probability on many-valued events. Int J Approx Reason 54(5):573\u2013589","journal-title":"Int J Approx Reason"},{"issue":"2","key":"2449_CR41","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/s00153-004-0253-z","volume":"44","author":"T Flaminio","year":"2005","unstructured":"Flaminio T, Montagna F (2005) A logical and algebraic treatment of conditional probability. Arch Math Log 44(2):245\u2013262","journal-title":"Arch Math Log"},{"issue":"1","key":"2449_CR42","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/j.ijar.2008.07.006","volume":"50","author":"T Flaminio","year":"2009","unstructured":"Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logics. Int J Approx Reason 50(1):138\u2013152","journal-title":"Int J Approx Reason"},{"issue":"3","key":"2449_CR43","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1093\/logcom\/exp013","volume":"21","author":"T Flaminio","year":"2011","unstructured":"Flaminio T, Montagna F (2011) Models for many-valued probabilistic reasoning. J Log Comput 21(3):447\u2013464","journal-title":"J Log Comput"},{"key":"2449_CR44","doi-asserted-by":"crossref","unstructured":"Flaminio T, Hosni H, Montagna F (2011) A characterization of strict coherence for infinite-valued events. Int J Approximate Reasoning 52(8):1147\u20131170","DOI":"10.1016\/j.ijar.2011.06.004"},{"issue":"2","key":"2449_CR45","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1002\/malq.19940400211","volume":"40","author":"S Fontani","year":"1993","unstructured":"Fontani S, Montagna F, Sorbi A (1993) A note on relative efficiency of axiom systems. Math Log Q 40(2):261\u2013272","journal-title":"Math Log Q"},{"issue":"2","key":"2449_CR46","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01634981","volume":"30","author":"P H\u00e1jek","year":"1990","unstructured":"H\u00e1jek P, Montagna F (1990a) The logic of $$\\Pi _1$$-conservativity. Arch Math Log 30(2):113\u2013123","journal-title":"Arch Math Log"},{"issue":"2","key":"2449_CR47","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BF01634981","volume":"30","author":"P H\u00e1jek","year":"1990","unstructured":"H\u00e1jek P, Montagna F (1990b) The logic of $$\\Pi _1$$-conservativity. Arch Math Log 30(2):123\u2013130","journal-title":"Arch Math Log"},{"issue":"1","key":"2449_CR48","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/BF01270395","volume":"32","author":"P H\u00e1jek","year":"1992","unstructured":"H\u00e1jek P, Montagna F (1992) The logic of $$\\Pi _1$$-conservativity continued. Arch Math Log 32(1):57\u201363","journal-title":"Arch Math Log"},{"issue":"4","key":"2449_CR49","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1002\/malq.200710058","volume":"54","author":"P H\u00e1jek","year":"2008","unstructured":"H\u00e1jek P, Montagna F (2008) A note on the first-order logic of complete BL-chains. Math Log Q 54(4):435\u2013446","journal-title":"Math Log Q"},{"key":"2449_CR50","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1093\/oso\/9780198536901.003.0009","volume-title":"Arithmetic, proof theory and computational complexity","author":"P H\u00e1jek","year":"1993","unstructured":"H\u00e1jek P, Montagna F, Pudlak P (1993) Abbreviating proofs using metamathematical rules. In: Clote P, Krajicek J (eds) Arithmetic, proof theory and computational complexity, vol 23. Oxford Logic GuidesClarendon University Press, Oxford, pp 197\u2013221"},{"key":"2449_CR51","unstructured":"H\u00e1jek P, Montagna F, Noguera C (2011) Arithmetical complexity of first-order fuzzy logics. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of mathematical fuzzy logic\u2013volume 2, vol 38., studies in logic, mathematical logic and foundations, chapter XI, vol 38College Publications, London, pp 853\u2013908"},{"issue":"3","key":"2449_CR52","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1002\/malq.200710091","volume":"55","author":"R Horc\u00edk","year":"2009","unstructured":"Horc\u00edk R, Montagna F (2009) Archimedean classes in integral, commutative residuated lattices. Math Log Q 55(3):320\u2013336","journal-title":"Math Log Q"},{"key":"2449_CR53","doi-asserted-by":"crossref","unstructured":"Hosni H, Montagna F (2014) Stable non-standard imprecise probabilities. In: Laurent A, Strauss O, Bouchon-Meunier B, Yager RR (eds) Information processing and management of uncertainty in knowledge-based systems: 15th international conference, IPMU 2014, Montpellier, France, July 15\u201319, 2014. Proceedings, Part III, volume 444 of Communication in computer and information science. Springer, New York, pp 436\u2013445","DOI":"10.1007\/978-3-319-08852-5_45"},{"issue":"2","key":"2449_CR54","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Stud Log 70(2):183\u2013192","journal-title":"Stud Log"},{"issue":"3","key":"2449_CR55","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/S0165-0114(02)00275-0","volume":"136","author":"S Jenei","year":"2003","unstructured":"Jenei S, Montagna F (2003a) A general method for constructing left-continuous t-norms. Fuzzy Sets Syst 136(3):263\u2013282","journal-title":"Fuzzy Sets Syst"},{"issue":"8","key":"2449_CR56","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1007\/s00153-003-0182-2","volume":"42","author":"S Jenei","year":"2003","unstructured":"Jenei S, Montagna F (2003b) On the continuity points of left-continuous t-norms. Arch Math Log 42(8):797\u2013810","journal-title":"Arch Math Log"},{"issue":"3","key":"2449_CR57","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1093\/logcom\/exs019","volume":"23","author":"S Jenei","year":"2013","unstructured":"Jenei S, Montagna F (2013) Strongly involutive uninorm algebras. J Log Comput 23(3):707\u2013726","journal-title":"J Log Comput"},{"key":"2449_CR58","doi-asserted-by":"crossref","unstructured":"Jenei S, Montagna F (2015) A classification of certain group-like $$FL_e$$-chains. Synthese 192(7):2095\u20132121 (Erratum: Synthese 193(1) (2016), p. 313)","DOI":"10.1007\/s11229-014-0409-2"},{"issue":"2\u20133","key":"2449_CR59","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s00012-006-1960-6","volume":"55","author":"P Jipsen","year":"2006","unstructured":"Jipsen P, Montagna F (2006) On the structure of generalized BL-algebras. Algebra Univers 55(2\u20133):227\u2013238","journal-title":"Algebra Univers"},{"issue":"4","key":"2449_CR60","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/s00012-009-2106-4","volume":"60","author":"P Jipsen","year":"2009","unstructured":"Jipsen P, Montagna F (2009) The Blok-Ferreirim theorem for normal GBL algebras and its application. Algebra Univers 60(4):381\u2013404","journal-title":"Algebra Univers"},{"issue":"9","key":"2449_CR61","doi-asserted-by":"publisher","first-page":"1559","DOI":"10.1016\/j.jpaa.2009.11.015","volume":"214","author":"P Jipsen","year":"2010","unstructured":"Jipsen P, Montagna F (2010) Embedding theorems for normal GBL-algebras. J Pure Appl Algebra 214(9):1559\u20131575","journal-title":"J Pure Appl Algebra"},{"issue":"3","key":"2449_CR62","first-page":"295","volume":"16","author":"G Louchard","year":"2005","unstructured":"Louchard G, Marini C, Montagna F, Simi G (2005) A variant of the guessing secrets game. Pure Math Appl 16(3):295\u2013305","journal-title":"Pure Math Appl"},{"issue":"1","key":"2449_CR63","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1005298816666","volume":"63","author":"D Luchi","year":"1999","unstructured":"Luchi D, Montagna F (1999) An operational logic of proofs with positive and negative information. Stud Log 63(1):7\u201325","journal-title":"Stud Log"},{"issue":"1\u20133","key":"2449_CR64","first-page":"161","volume":"299","author":"L Magnoni","year":"2003","unstructured":"Magnoni L, Mirolli M, Montagna F (2003) PAC learning of probability distributions over a discrete domain. Theor Comput Sci 299(1\u20133):161\u2013200","journal-title":"Theor Comput Sci"},{"issue":"2","key":"2449_CR65","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1093\/logcom\/exl044","volume":"17","author":"E Marchioni","year":"2007","unstructured":"Marchioni E, Montagna F (2007) Complexity and definability issues in \u0141 $$\\Pi \\frac{1}{2}$$. J Log Comput 17(2):311\u2013331","journal-title":"J Log Comput"},{"issue":"2","key":"2449_CR66","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.ijar.2007.04.003","volume":"47","author":"E Marchioni","year":"2008","unstructured":"Marchioni E, Montagna F (2008) On triangular norms and uninorms definable in \u0141 $$\\Pi \\frac{1}{2}$$. Int J Approx Reason 47(2):179\u2013201","journal-title":"Int J Approx Reason"},{"key":"2449_CR67","volume-title":"Le direzioni della ricerca logica in Italia","author":"V Marra","year":"2015","unstructured":"Marra V, Montagna F, Spada L (2015) Logiche polivalenti. In: Hosni H, Lolli G, Toffalori C (eds) Le direzioni della ricerca logica in Italia. Edizioni della Normale, Pisa"},{"issue":"3","key":"2449_CR68","doi-asserted-by":"publisher","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","author":"G Metcalfe","year":"2007","unstructured":"Metcalfe G, Montagna F (2007) Substructural fuzzy logics. J Symb Log 72(3):834\u2013864","journal-title":"Substructural fuzzy logics. J Symb Log"},{"key":"2449_CR69","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.jalgebra.2013.11.019","volume":"402","author":"G Metcalfe","year":"2014","unstructured":"Metcalfe G, Montagna F, Tsinakis C (2014) Amalgamation and interpolation in ordered algebras. J Algebra 402:21\u201382","journal-title":"J Algebra"},{"issue":"10","key":"2449_CR70","first-page":"85","volume":"4","author":"F Montagna","year":"1974","unstructured":"Montagna F (1974a) Sulle classi quasi ideali. Bollettino della Unione Matematica Italiana 4(10):85\u201397","journal-title":"Bollettino della Unione Matematica Italiana"},{"issue":"1","key":"2449_CR71","first-page":"221","volume":"29","author":"F Montagna","year":"1974","unstructured":"Montagna F (1974b) Sui limiti di certe teorie. Le Matematiche 29(1):221\u2013236","journal-title":"Le Matematiche"},{"issue":"4","key":"2449_CR72","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF02121662","volume":"34","author":"F Montagna","year":"1975","unstructured":"Montagna F (1975) For every $$n$$, the $$n$$ freely generated algebra is not functionally free in the equational class of diagonalizable algebras. Stud Log 34(4):315\u2013319","journal-title":"Stud Log"},{"issue":"3","key":"2449_CR73","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02124724","volume":"37","author":"F Montagna","year":"1978","unstructured":"Montagna F (1978) On the algebraization of a Feferman\u2019s predicate. Stud Log 37(3):221\u2013236","journal-title":"Stud Log"},{"key":"2449_CR74","unstructured":"Montagna F (1979a) On the diagonalizable algebra of Peano Arithmetic. Bollettino della Unione Matematica Italiana 16\u2013B(5):795\u2013812"},{"key":"2449_CR75","unstructured":"Montagna F (1979b) On the formulas of Peano Arithmetic which are provably closed under modus ponens. Bollettino della Unione Matematica Italiana 16\u2013B(5):196\u2013211"},{"issue":"4","key":"2449_CR76","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/BF00713544","volume":"39","author":"F Montagna","year":"1980","unstructured":"Montagna F (1980a) Interpretations of the first-order theory of diagonalizable algebras in Peano Arithmetic. Stud Log 39(4):347\u2013354","journal-title":"Stud Log"},{"issue":"4","key":"2449_CR77","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF00713545","volume":"39","author":"F Montagna","year":"1980","unstructured":"Montagna F (1980b) The undecidability of the first-order theory of diagonalizable algebras. Stud Log 39(4):355\u2013359","journal-title":"Stud Log"},{"key":"2449_CR78","unstructured":"Montagna F (1980c) Some modal logics with quantifiers. Bollettino della Unione Matematica Italiana 17\u2013B(5):1395\u20131410"},{"issue":"4","key":"2449_CR79","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BF00284977","volume":"11","author":"F Montagna","year":"1982","unstructured":"Montagna F (1982) Relative precomplete numerations and arithmetic. J Philos Log 11(4):419\u2013430","journal-title":"J Philos Log"},{"key":"2449_CR80","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1002\/malq.19830290305","volume":"29","author":"F Montagna","year":"1983","unstructured":"Montagna F (1983a) ZFC models as Kripke models. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 29:163\u2013168","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"2","key":"2449_CR81","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/BF01191752","volume":"16","author":"F Montagna","year":"1983","unstructured":"Montagna F (1983b) The well-founded algebras. Algebra Univers 16(2):38\u201346","journal-title":"Algebra Univers"},{"issue":"1","key":"2449_CR82","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1002\/malq.19840303205","volume":"30","author":"F Montagna","year":"1984","unstructured":"Montagna F (1984a) A completeness result for fixed point algebras. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 30(1):525\u2013532","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"2","key":"2449_CR83","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1305\/ndjfl\/1093870577","volume":"25","author":"F Montagna","year":"1984","unstructured":"Montagna F (1984b) The predicate modal logic of provability. Notre Dame J Form Log 25(2):179\u2013189","journal-title":"Notre Dame J Form Log"},{"key":"2449_CR84","unstructured":"Montagna F (1985) Primi risultati sulla logica predicativa modale della dimostrabilit\u00e0. In: Proceedings of the conference on mathematical logic. Vol. 2 (Siena 1983\/1984). University of Siena, Siena, pp 353\u2013355"},{"issue":"2","key":"2449_CR85","doi-asserted-by":"publisher","first-page":"494","DOI":"10.2307\/2274396","volume":"52","author":"F Montagna","year":"1987","unstructured":"Montagna F (1987a) Provability in finite subtheories of PA. J Symb Log 52(2):494\u2013511","journal-title":"J Symb Log"},{"issue":"4","key":"2449_CR86","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1002\/malq.19870330403","volume":"33","author":"F Montagna","year":"1987","unstructured":"Montagna F (1987b) Iterated extensional Rosser\u2019s fixed points and hyperhyperdiagonalizable algebras. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 33(4):293\u2013303","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"2449_CR87","first-page":"145","volume":"2","author":"F Montagna","year":"1988","unstructured":"Montagna F (1988) Arithmetical self reference and generalized Rosser formulas. Teoria 2:145\u2013170","journal-title":"Teoria"},{"issue":"1","key":"2449_CR88","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1305\/ndjfl\/1093634998","volume":"30","author":"F Montagna","year":"1989","unstructured":"Montagna F (1989) Pathologies in two syntactic categories of partial maps. Notre Dame J Form Log 30(1):105\u2013116","journal-title":"Notre Dame J Form Log"},{"issue":"2","key":"2449_CR89","first-page":"207","volume":"1","author":"F Montagna","year":"1990","unstructured":"Montagna F (1990) The elementary theory of Lindenbaum fixed point algebras is hyperarithmetical. Pure Math Appl 1(2):207\u2013216","journal-title":"Pure Math Appl"},{"issue":"3","key":"2449_CR90","doi-asserted-by":"publisher","first-page":"844","DOI":"10.2307\/2275435","volume":"57","author":"F Montagna","year":"1992","unstructured":"Montagna F (1992) Polynomially and superexponentially shorter proofs in fragments of arithmetic. J Symb Log 57(3):844\u2013863","journal-title":"J Symb Log"},{"key":"2449_CR91","unstructured":"Montagna F (1994) Paradossi e teoremi di incompletezza: il teorema di Solovay. In: Epistemology of mathematics. 1992\u20131993 Seminars (Siena\/Bologna\/Pavia), Formazione e Aggiornamento in Matematica degli Insegnanti, pp 85\u201395, Rome. CNR (Italian)"},{"issue":"4","key":"2449_CR92","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s001530050042","volume":"35","author":"F Montagna","year":"1996","unstructured":"Montagna F (1996) An algebraic treatment of quantifier free systems of arithmetic. Arch Math Log 35(4):209\u2013224","journal-title":"Arch Math Log"},{"issue":"1","key":"2449_CR93","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1006\/inco.1998.2714","volume":"143","author":"F Montagna","year":"1998","unstructured":"Montagna F (1998) Investigations on measure one identification of classes of languages. Inf Comput 143(1):74\u2013107","journal-title":"Inf Comput"},{"issue":"1","key":"2449_CR94","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/A:1008322226835","volume":"9","author":"F Montagna","year":"2000","unstructured":"Montagna F (2000a) An algebraic approach to propositional fuzzy logic. J Log Lang Inf 9(1):91\u2013124","journal-title":"J Log Lang Inf"},{"key":"2449_CR95","first-page":"837","volume":"5","author":"F Montagna","year":"2000","unstructured":"Montagna F (2000b) The free BL-algebra on one generator. Neural Netw World 5:837\u2013844","journal-title":"Neural Netw World"},{"issue":"1","key":"2449_CR96","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1011958407631","volume":"68","author":"F Montagna","year":"2001","unstructured":"Montagna F (2001a) Three complexity problems in quantified fuzzy logic. Stud Log 68(1):143\u2013152","journal-title":"Stud Log"},{"issue":"1","key":"2449_CR97","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1006\/jabr.2000.8633","volume":"238","author":"F Montagna","year":"2001","unstructured":"Montagna F (2001b) Functorial representation theorems for $$\\text{ MV }_{\\Delta }$$ algebras with additional operators. J Algebra 238(1):99\u2013125","journal-title":"J Algebra"},{"issue":"2","key":"2449_CR98","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/logcom\/14.2.299","volume":"14","author":"F Montagna","year":"2004","unstructured":"Montagna F (2004) Storage operators and multiplicative quantifiers in many-valued logics. J Log Comput 14(2):299\u2013322","journal-title":"J Log Comput"},{"issue":"1","key":"2449_CR99","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s00012-005-1923-3","volume":"53","author":"F Montagna","year":"2005","unstructured":"Montagna F (2005a) Subreducts of MV-algebras with product and product residuation. Algebra Univers 53(1):109\u2013137","journal-title":"Algebra Univers"},{"issue":"1","key":"2449_CR100","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s00153-004-0231-5","volume":"44","author":"F Montagna","year":"2005","unstructured":"Montagna F (2005b) On the predicate logics of continuous t-norm BL-algebras. Arch Math Log 44(1):97\u2013114","journal-title":"Arch Math Log"},{"key":"2449_CR101","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1007\/s00500-004-0450-z","volume":"9","author":"F Montagna","year":"2005","unstructured":"Montagna F (2005c) Generating the variety of BL-algebras. Soft Comput 9:869\u2013874","journal-title":"Soft Comput"},{"issue":"1\u20132","key":"2449_CR102","first-page":"89","volume":"16","author":"F Montagna","year":"2005","unstructured":"Montagna F (2005d) From lattice ordered abelian groups to the algebras of many-valued logic: a survey. Pure Math Appl 16(1\u20132):89\u2013102","journal-title":"Pure Math Appl"},{"issue":"1\u20132","key":"2449_CR103","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.apal.2005.11.001","volume":"141","author":"F Montagna","year":"2006","unstructured":"Montagna F (2006) Interpolation and Beth\u2019s property in propositional many-valued logics: a semantic investigation. Ann Pure Appl Log 141(1\u20132):148\u2013179","journal-title":"Ann Pure Appl Log"},{"key":"2449_CR104","first-page":"9","volume-title":"Witnessed years-essays in honour of Petr H\u00e1jek","author":"F Montagna","year":"2009","unstructured":"Montagna F (2009) Petr H\u00e1jek\u2019s logic BL and BL-algebras. In: Cintula P, \u0160vejdar Z, Hainokov\u00e1 V (eds) Witnessed years-essays in honour of Petr H\u00e1jek. College Publications, London, pp 9\u201312"},{"issue":"5","key":"2449_CR105","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1093\/logcom\/exp061","volume":"21","author":"F Montagna","year":"2011","unstructured":"Montagna F (2011a) A notion of coherence for books on conditional events in many-valued logic. J Log Comput 21(5):829\u2013850","journal-title":"J Log Comput"},{"issue":"3","key":"2449_CR106","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1515\/dema-2013-0327","volume":"44","author":"F Montagna","year":"2011","unstructured":"Montagna F (2011b) An algebraic treatment of imprecise probabilities. Demonstr Math 44(3):497\u2013509","journal-title":"Demonstr Math"},{"issue":"1\u20132","key":"2449_CR107","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s00153-010-0207-6","volume":"50","author":"F Montagna","year":"2011","unstructured":"Montagna F (2011c) Completeness with respect to a chain and universal models in fuzzy logic. Arch Math Log 50(1\u20132):161\u2013183","journal-title":"Arch Math Log"},{"issue":"3","key":"2449_CR108","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s10992-011-9185-3","volume":"41","author":"F Montagna","year":"2012","unstructured":"Montagna F (2012a) Partially undetermined many-valued events and their conditional probability. J Philos Log 41(3):563\u2013593","journal-title":"J Philos Log"},{"issue":"1\u20132","key":"2449_CR109","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s11225-012-9379-x","volume":"100","author":"F Montagna","year":"2012","unstructured":"Montagna F (2012b) $$\\Delta $$-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Stud Log 100(1\u20132):289\u2013317","journal-title":"Stud Log"},{"key":"2449_CR110","unstructured":"Montagna F, Pasini L (1980) The equational class corresponding to the modal logic K43W. Bollettino della Unione Matematica Italiana 2:373\u2013385"},{"key":"2449_CR111","doi-asserted-by":"crossref","unstructured":"Montagna F, Sorbi A (1985) Universal recursion theoretic properties of r.e. preordered structures. J Symb Log 50(2):179\u2013189","DOI":"10.2307\/2274228"},{"issue":"2","key":"2449_CR112","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF01620761","volume":"27","author":"F Montagna","year":"1988","unstructured":"Montagna F, Sommaruga G (1988) Rosser and Mostowski sentences. Arch Math Log 27(2):115\u2013133","journal-title":"Arch Math Log"},{"issue":"3","key":"2449_CR113","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.2307\/2274763","volume":"54","author":"F Montagna","year":"1989","unstructured":"Montagna F, Sorbi A (1989) Creativeness and completeness in recursion categories of partial recursive operators. J Symb Log 54(3):1023\u20131041","journal-title":"J Symb Log"},{"issue":"4","key":"2449_CR114","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1007\/BF00370168","volume":"49","author":"F Montagna","year":"1990","unstructured":"Montagna F, Sommaruga G (1990) A note on some extension results. Stud Log 49(4):591\u2013600","journal-title":"Stud Log"},{"issue":"2","key":"2449_CR115","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1305\/ndjfl\/1094061860","volume":"35","author":"F Montagna","year":"1994","unstructured":"Montagna F, Mancini A (1994) A minimal predicative set theory. Notre Dame J Form Log 35(2):186\u2013203","journal-title":"Notre Dame J Form Log"},{"issue":"3","key":"2449_CR116","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1023\/A:1005182121401","volume":"118","author":"F Montagna","year":"1999","unstructured":"Montagna F, Osherson D (1999) Learning to coordinate: a recursion-theoretic perspective. Synthese 118(3):74\u2013107","journal-title":"Synthese"},{"issue":"2","key":"2449_CR117","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1023\/A:1026455720278","volume":"62","author":"F Montagna","year":"1999","unstructured":"Montagna F, Simi G (1999) Paradigms in measure theoretic learning and in informant learning. Stud Log 62(2):243\u2013268","journal-title":"Stud Log"},{"issue":"3","key":"2449_CR118","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0022-4049(00)00169-9","volume":"164","author":"F Montagna","year":"2001","unstructured":"Montagna F, Panti G (2001) Adding structure to MV-algebras. J Pure Appl Algebra 164(3):365\u2013387","journal-title":"J Pure Appl Algebra"},{"issue":"3","key":"2449_CR119","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/PL00022469","volume":"46","author":"F Montagna","year":"2001","unstructured":"Montagna F, Sebastiani V (2001) Equational fragments of systems for arithmetic. Algebra Univers 46(3):417\u2013441","journal-title":"Algebra Univers"},{"issue":"2","key":"2449_CR120","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1016500922708","volume":"71","author":"F Montagna","year":"2002","unstructured":"Montagna F, Ono H (2002) Undecidability and standard completeness for Esteva and Godo\u2019s logic MTL$$\\forall $$. Stud Log 71(2):227\u2013245","journal-title":"Stud Log"},{"key":"2449_CR121","doi-asserted-by":"crossref","unstructured":"Montagna F, Sacchetti L (2003) Kripke-style semantics for many-valued logics. Math Log Q 49(6):629\u2013641 (Erratum: Mathematical Logic Quarterly 50(1) (2003), p. 104\u2013107)","DOI":"10.1002\/malq.200310081"},{"issue":"2","key":"2449_CR122","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/j.jpaa.2007.01.013","volume":"211","author":"F Montagna","year":"2007","unstructured":"Montagna F, Tsinakis C (2007) Ordered groups with a modality. J Pure Appl Algebra 211(2):511\u2013531","journal-title":"J Pure Appl Algebra"},{"issue":"1","key":"2449_CR123","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.jpaa.2007.01.019","volume":"214","author":"F Montagna","year":"2010","unstructured":"Montagna F, Tsinakis C (2010) Ordered groups with a conucleus. J Pure Appl Algebra 214(1):71\u201388","journal-title":"J Pure Appl Algebra"},{"issue":"2","key":"2449_CR124","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1093\/logcom\/exp052","volume":"20","author":"F Montagna","year":"2010","unstructured":"Montagna F, Noguera C (2010) Arithmetical complexity of first order predicate fuzzy logics over distinguished semantics. J Log Comput 20(2):399\u2013424","journal-title":"J Log Comput"},{"issue":"1","key":"2449_CR125","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s11787-012-0070-9","volume":"7","author":"F Montagna","year":"2013","unstructured":"Montagna F, Pianigiani D (2013) A short note on essentially $$\\Sigma _1$$ sentences (revised and extended version). Log Univers 7(1):103\u2013111","journal-title":"Log Univers"},{"issue":"2","key":"2449_CR126","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s11225-014-9569-9","volume":"103","author":"F Montagna","year":"2015","unstructured":"Montagna F, Ugolini S (2015) A categorical equivalence for product algebras. Stud Log 103(2):345\u2013373","journal-title":"Stud Log"},{"issue":"4","key":"2449_CR127","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s001530050043","volume":"35","author":"F Montagna","year":"1996","unstructured":"Montagna F, Simi G, Sorbi A (1996) Logic and probabilistic systems. Arch Math Log 35(4):225\u2013261","journal-title":"Arch Math Log"},{"key":"2449_CR128","unstructured":"Montagna F, Pinna GM, Tiezzi EBP (1998) Proof systems with cut elimination for $${\\rm MTL}\\le {Q}$$. Degano P, Vaccaro V, Pirillo G Proceedings of ICTCS \u201998 1998). World Scientific Publishing, Singapore, pp 141\u2013152"},{"issue":"2","key":"2449_CR129","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1002\/(SICI)1521-3870(200005)46:2<171::AID-MALQ171>3.0.CO;2-E","volume":"46","author":"F Montagna","year":"2000","unstructured":"Montagna F, Pinna GM, Tiezzi EBP (2000) A cut-free proof system for bounded metric temporal logic over a dense time domain. Math Log Q 46(2):171\u2013182","journal-title":"Math Log Q"},{"issue":"1","key":"2449_CR130","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1002\/1521-3870(200201)48:1<51::AID-MALQ51>3.0.CO;2-S","volume":"48","author":"F Montagna","year":"2002","unstructured":"Montagna F, Pinna GM, Tiezzi E (2002) Investigations on fragments of first order branching time logic. Math Log Q 48(1):51\u201362","journal-title":"Math Log Q"},{"key":"2449_CR131","doi-asserted-by":"crossref","unstructured":"Montagna F, Pinna GM, Tiezzi E (2003) A tableau calculus for H\u00e1jek\u2019s logic BL. J Log Comput 13(2):241\u2013259","DOI":"10.1093\/logcom\/13.2.241"},{"issue":"4","key":"2449_CR132","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1093\/logcom\/exl002","volume":"16","author":"F Montagna","year":"2006","unstructured":"Montagna F, Noguera C, Horc\u00edk R (2006) On weakly cancellative fuzzy logics. J Log Comput 16(4):423\u2013450","journal-title":"J Log Comput"},{"issue":"6","key":"2449_CR133","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1016\/j.fss.2006.11.007","volume":"158","author":"F Montagna","year":"2007","unstructured":"Montagna F, Marini C, Simi G (2007) Product logic and probabilistic Ulam games. Fuzzy Sets Syst 158(6):639\u2013651","journal-title":"Fuzzy Sets Syst"},{"issue":"1\u20133","key":"2449_CR134","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.cnsns.2014.06.052","volume":"21","author":"F Montagna","year":"2015","unstructured":"Montagna F, Simi G, Sorbi A (2015) Taking the Piranh\u00e3 seriously. Commun Nonlinear Sci Numer Simul 21(1\u20133):52\u201369","journal-title":"Commun Nonlinear Sci Numer Simul"},{"issue":"20","key":"2449_CR135","doi-asserted-by":"publisher","first-page":"3645","DOI":"10.1016\/j.ins.2009.06.014","volume":"179","author":"G Sergioli","year":"2009","unstructured":"Sergioli G, Ledda A, Paoli F, Giuntini R, Kowlaski T, Montagna F, Freytes H, Marini C (2009) Two cooperative versions of the Guessing Secrets problem. Inf Sci 179(20):3645\u20133658","journal-title":"Inf Sci"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2449-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-016-2449-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2449-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T07:39:14Z","timestamp":1718955554000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-016-2449-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"references-count":135,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2449"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2449-7","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}