{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T23:28:44Z","timestamp":1648942124012},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2012,2,9]],"date-time":"2012-02-09T00:00:00Z","timestamp":1328745600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s11225-012-9379-x","type":"journal-article","created":{"date-parts":[[2012,2,8]],"date-time":"2012-02-08T04:51:52Z","timestamp":1328676712000},"page":"289-317","source":"Crossref","is-referenced-by-count":4,"title":["\u0394-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation"],"prefix":"10.1007","volume":"100","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,2,9]]},"reference":[{"key":"9379_CR1","doi-asserted-by":"crossref","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.: \u2018Varieties of BL-algebras I: general properties\u2019. Journal of Pure and Applied Algebra 181, 105\u2013129 (2003)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"1","key":"9379_CR2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11225-007-9078-1","volume":"87","author":"P. Aglian\u00f2","year":"2007","unstructured":"Aglian\u00f2 P., Ferreirim I.M.A., Montagna F.: \u2018Basic hoops: an algebriac study of continuous t-norms\u2019. Studia Logica 87(1), 73\u201398 (2007)","journal-title":"Studia Logica"},{"key":"9379_CR3","unstructured":"Baaz, M., and H. Veith, \u2018Quantifier elimination in fuzzy logic\u2019, In Computer Science Logic, Lecture Notes in Computer Science, Springer, Berlin Heidelberg (1999), pp. 399\u2013414."},{"key":"9379_CR4","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1007\/s001530050151","volume":"38","author":"M. Baaz","year":"1999","unstructured":"Baaz M., Veith H.: \u2018Interpolation in fuzzy logic\u2019. Archive for Mathematical Logic 38, 461\u2013489 (1999)","journal-title":"Archive for Mathematical Logic"},{"issue":"4","key":"9379_CR5","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1093\/logcom\/exn004","volume":"18","author":"M. Baaz","year":"2008","unstructured":"Baaz M., Preining N.: \u2018Quantifier elimination for quantified propositional logics on Kripke frames of type \u03c9\u2019. Journal of Logic and Computation 18(4), 649\u2013668 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"9379_CR6","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"W.J. Blok","year":"2000","unstructured":"Blok W.J., Ferreirim I.M.A.: \u2018On the structure of hoops\u2019. Algebra Universalis 43, 233\u2013257 (2000)","journal-title":"Algebra Universalis"},{"key":"9379_CR7","doi-asserted-by":"crossref","unstructured":"Blok, W.J., and D. Pigozzi, \u2018Algebraizable logics\u2019, Mem. Amer. Math. Soc. 396, vol. 77, American Math. Soc., Providence 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9379_CR8","doi-asserted-by":"crossref","unstructured":"Burris, S., and H.P. Sankappanavar, A course in Universal Algebra, Graduate texts in Mathematics, Springer Veralg 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"9379_CR9","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R. Cignoli","year":"2000","unstructured":"Cignoli R., Esteva F., Godo L., Torrens A.: \u2018Basic fuzzy logic is the logic of continuous t-norms and their residua\u2019. Soft Computing 4, 106\u2013112 (2000)","journal-title":"Soft Computing"},{"key":"9379_CR10","doi-asserted-by":"crossref","unstructured":"Cignoli, R., I. D\u2019Ottaviano, and D. Mundici, Algebraic foundations of manyvalued reasoning, Kluwer, 2000.","DOI":"10.1007\/978-94-015-9480-6"},{"issue":"6","key":"9379_CR11","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/s00153-006-0011-5","volume":"45","author":"P. Cintula","year":"2006","unstructured":"Cintula P.: \u2018Weakly implicative (fuzzy) logics I: Basic properties\u2019. Arch. Math. Log. 45(6), 673\u2013704 (2006)","journal-title":"Arch. Math. Log."},{"issue":"1","key":"9379_CR12","doi-asserted-by":"crossref","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.: \u2018Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies\u2019. Ann. Pure Appl. Logic 160(1), 53\u201381 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9379_CR13","unstructured":"Cortonesi, T., E. Marchioni, and F. Montagna, \u2018Quantifier elimination and other model theoretic properties of BL-algebras\u2019, preprint 2009, to appear in Notre Dame Journal of Formal Logic."},{"key":"9379_CR14","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett M.: \u2018A propositional logic with denumerable matrix\u2019. J. Symb. Log. 24, 96\u2013107 (1959)","journal-title":"J. Symb. Log."},{"key":"9379_CR15","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F. Esteva","year":"2001","unstructured":"Esteva F., Godo L.: \u2018Monoidal t-norm based logic: Towards a logic for left-continuous t-norms\u2019. Fuzzy Set and Systems 124, 271\u2013288 (2001)","journal-title":"Fuzzy Set and Systems"},{"key":"9379_CR16","unstructured":"Ferreirim, I.M.A., On varieties and quasi varieties of hoops and their reducts, PhD thesis, University of Illinois at Chicago, 1992."},{"key":"9379_CR17","first-page":"159","volume":"11","author":"B. Gerla","year":"2001","unstructured":"Gerla B.: \u2018Rational \u0141ukasiewicz Logic and Divisible MV-algebras\u2019. Neural Network World 11, 159\u2013194 (2001)","journal-title":"Neural Network World"},{"key":"9379_CR18","unstructured":"Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, \u2018Residuated Lattices: An Algebraic Glimpse at Substructural Logics\u2019, Studies in Logic and the Foundations of Mathematics, Vol. 151, Elsevier, 2007."},{"key":"9379_CR19","doi-asserted-by":"crossref","unstructured":"H\u00e0jek, P., Metamathematics of Fuzzy Logic, Kluwer, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"9379_CR20","volume-title":"\u2018Model theory\u2019, volume 42 of Encyclopedia of Mathematics and its Applications","author":"W. Hodges","year":"1993","unstructured":"Hodges W.: \u2018Model theory\u2019, volume 42 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (1993)"},{"key":"9379_CR21","doi-asserted-by":"crossref","unstructured":"Marchioni, E., and G. Metcalfe, \u2018Interpolation properties for uninorm based logics\u2019, Proceedings of the ISMVL, Barcelona (Spain), 205\u2013210, 2010.","DOI":"10.1109\/ISMVL.2010.46"},{"key":"9379_CR22","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1016\/j.apal.2005.11.001","volume":"141","author":"F. Montagna","year":"2006","unstructured":"Montagna F.: \u2018Interpolation and Beth\u2019s property in propositional many-valued logics: A semantic investigation\u2019. Annals of Pure and Applied Logic 141, 148\u2013179 (2006)","journal-title":"Annals of Pure and Applied Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9379-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9379-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9379-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,23]],"date-time":"2019-06-23T09:40:59Z","timestamp":1561282859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9379-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,9]]},"references-count":22,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["9379"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9379-x","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,9]]}}}