{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T02:47:29Z","timestamp":1768445249213,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540412854","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-44404-1_16","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T19:20:51Z","timestamp":1194981651000},"page":"240-256","source":"Crossref","is-referenced-by-count":4,"title":["Quantified Propositional G\u00f6del Logics"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agata","family":"Ciabattoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Zach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Baaz, M.: Infinite-valued G\u00f6del logics with 0-1-projections and relativizations. In G\u00f6del 96. Kurt G\u00f6del\u2019s Legacy. Proceedings. LNL 6, Springer, 23\u201333. 248","DOI":"10.1017\/9781316716939.003"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Baaz, M., Leitsch, A., Zach, R.: Incompleteness of an infinite-valued first-order G\u00f6del logic and of some temporal logics of programs. In Computer Science Logic. Selected Papers from CSL\u201995. Springer, 1996, 1\u201315. 241","DOI":"10.1007\/3-540-61377-3_28"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/s001530050151","volume":"38","author":"M. Baaz","year":"1999","unstructured":"Baaz, M., Veith, H.: Interpolation in fuzzy logic. Arch. Math. Logic, 38 (1999), 461\u2013489. 248, 248, 249, 249","journal-title":"Arch. Math. Logic"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Baaz, M., Veith, H.: An axiomatization of quantified propositional G\u00f6del logic using the Takeuti-Titani rule. In Logic Colloquium 1998. Proceedings. LNL 13, Association for Symbolic Logic, 91\u2013104. 241, 241, 241, 244, 248","DOI":"10.1017\/9781316756140.008"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Baaz, M., Zach R.: Compact propositional G\u00f6del logics. In 28th International Symposium on Multiple Valued Logic. Proceedings. IEEE Press, 1998, 108\u2013113. 241","DOI":"10.1109\/ISMVL.1998.679315"},{"key":"16_CR6","unstructured":"B\u00fcchi, J. R.: On a decision method in restricted second order arithmetic. In Logic, Methodology, and Philosophy of Science, Proceedings of the 1960 Congress, Stanford University Press, 1\u201311. 241, 245"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. J. Symbolic Logic, 24(1959), 97\u2013106. 240, 240, 242, 244, 244","journal-title":"J. Symbolic Logic"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/malq.19710170126","volume":"17","author":"J. M. Dunn","year":"1971","unstructured":"Dunn, J. M., Meyer, R. K.: Algebraic completeness results for Dummett\u2019s LC and its extensions. Z. Math. Logik Grundlagen Math., 17 (1971), 225\u2013230. 240","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"16_CR9","unstructured":"Egly, U., Eiter, T., Tompits, H., Woltran, S.: Solving advanced reasoning tasks using quantified boolean formulas, In AAAI-2000. Proceedings. to appear. 241"},{"key":"16_CR10","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anz. Akad. Wiss. Wien, 69 (1932), 65\u201366. 240, 242","journal-title":"Anz. Akad. Wiss. Wien"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, 1998. 240","DOI":"10.1007\/978-94-011-5300-3"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2964111","volume":"27","author":"A. Horn","year":"1962","unstructured":"Horn, A.: Logic with truth values in a linearly ordered Heyting algebra. J. Symbolic Logic, 27(1962), 159\u2013170. 240","journal-title":"J. Symbolic Logic"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0743-1066(98)10015-8","volume":"38","author":"D. Pearce","year":"1999","unstructured":"Pearce, D.: Stable inference as intuitionistic validity. J. Logic Programming, 38 (1999), 79\u201391. 240","journal-title":"J. Logic Programming"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G. Takeuti","year":"1984","unstructured":"Takeuti, G., Titani, S.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. Symbolic Logic, 49 (1984), 851\u2013866. 241","journal-title":"J. Symbolic Logic"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0003-4843(82)90024-9","volume":"22","author":"A. Visser","year":"1982","unstructured":"Visser, A.: On the completeness principle: a study of provability in Heyting\u2019s Arithmetic. Annals Math. Logic, 22 (1982), 263\u2013295. 240","journal-title":"Annals Math. Logic"}],"container-title":["Lecture Notes in Artificial Intelligence","Logic for Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44404-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T08:06:05Z","timestamp":1737533165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44404-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540412854"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44404-1_16","relation":{},"subject":[]}}