{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T01:19:58Z","timestamp":1700011198888},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2006,4,10]],"date-time":"2006-04-10T00:00:00Z","timestamp":1144627200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2006,7]]},"DOI":"10.1007\/s00153-005-0322-y","type":"journal-article","created":{"date-parts":[[2006,4,10]],"date-time":"2006-04-10T12:14:53Z","timestamp":1144671293000},"page":"569-580","source":"Crossref","is-referenced-by-count":1,"title":["On interplay of quantifiers in G\u00f6del-Dummett fuzzy logics"],"prefix":"10.1007","volume":"45","author":[{"given":"Blanka","family":"Kozl\u00edkov\u00e1","sequence":"first","affiliation":[]},{"given":"V\u00edt\u011bzslav","family":"\u0160vejdar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,4,10]]},"reference":[{"key":"322_CR1","doi-asserted-by":"crossref","unstructured":"Baaz, M., Preining, N., Zach, R.: Characterization of the Axiomatizable Prenex Fragments of First-Order G\u00f6del Logics. In: 33rd International Symposium on Multiple-valued Logic, May 16\u201319, 2003, pp 175\u2013180, Tokyo, IEEE Computer Society Press, 2003","DOI":"10.1109\/ISMVL.2003.1201403"},{"key":"322_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"25","author":"Dummett","year":"1959","unstructured":"Dummett, M.: A Propositional Calculus with Denumerable Matrix. J. Symbolic Logic 25, 97\u2013106 (1959)","journal-title":"J. Symbolic Logic"},{"key":"322_CR3","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, 1998","DOI":"10.1007\/978-94-011-5300-3"},{"key":"322_CR4","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1093\/jigpal\/jzi033","volume":"13","author":"H\u00e1jek","year":"4","unstructured":"H\u00e1jek, P.: A Non-Arithmetical G\u00f6del Logic. Logic Journal of the IGPL 13 (4), 435\u2013441 (2005). A special issue devoted to selected papers presented at the Challenge of Semantics workshop, Vienna, July 2004","journal-title":"Logic Journal of the IGPL"},{"key":"322_CR5","unstructured":"Kleene, S.C.: Introduction to Metamathematics. D. van Nostrand, 1952"},{"key":"322_CR6","unstructured":"Kozl\u00edkov\u00e1, B.: S\u00e9mantick\u00e9 metody v intuicionistick\u00e9 predik\u00e1tov\u00e9 logice (Semantical Methods in Intuitionistic Predicate Logic). Master's thesis, Faculty of Arts, Charles University, Department of Logic (2004)"},{"key":"322_CR7","unstructured":"Preining, N.: Complete Recursive Axiomatizability of G\u00f6del Logics. Ph.D. Thesis, Vienna University of Technology, Austria, 2003"},{"key":"322_CR8","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s005000000036","volume":"4","author":"\u0160vejdar","year":"2","unstructured":"\u0160vejdar, V., Bendov\u00e1, K.: On Inter-Expressibility of Logical Connectives in G\u00f6del Fuzzy Logic. Soft Computing 4 (2), 103\u2013105 (2000)","journal-title":"Soft Computing"},{"key":"322_CR9","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/s00500-005-0514-8","volume":"10","author":"\u0160vejdar","year":"7","unstructured":"\u0160vejdar, V.: Note on Inter-Expressibility of Logical Connectives in Finitely-Valued G\u00f6del-Dummett Logics. Soft Computing 10 (7), 629\u2013630 (2006)","journal-title":"Soft Computing"},{"key":"322_CR10","doi-asserted-by":"crossref","first-page":"101","DOI":"10.21099\/tkbjm\/1496160505","volume":"11","author":"Takano","year":"1987","unstructured":"Takano, M.: Another Proof of Strong completeness of the Intuitionistic Fuzzy Logic. Tsukuba J. of Math. 11, 101\u2013105 (1987)","journal-title":"Tsukuba J. of Math."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0322-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-005-0322-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0322-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T19:36:41Z","timestamp":1558640201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-005-0322-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4,10]]},"references-count":10,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["322"],"URL":"https:\/\/doi.org\/10.1007\/s00153-005-0322-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,4,10]]}}}