{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T16:09:37Z","timestamp":1767888577375,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642162411","type":"print"},{"value":"9783642162428","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16242-8_4","type":"book-chapter","created":{"date-parts":[[2010,10,4]],"date-time":"2010-10-04T12:51:59Z","timestamp":1286196719000},"page":"30-51","source":"Crossref","is-referenced-by-count":6,"title":["G\u00f6del Logics \u2013 A Survey"],"prefix":"10.1007","author":[{"given":"Norbert","family":"Preining","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artificial Intelligence\u00a04, 225\u2013248 (1991)","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"4_CR2","series-title":"Lecture Notes in Logic","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-662-21963-8_2","volume-title":"Proc. G\u00f6del 1996, Logic Foundations of Mathematics, Computer Science and Physics \u2013 Kurt G\u00f6del\u2019s Legacy","author":"M. Baaz","year":"1996","unstructured":"Baaz, M.: Infinite-valued G\u00f6del logics with 0-1-projections and relativizations. In: H\u00e1jek, P. (ed.) Proc. G\u00f6del 1996, Logic Foundations of Mathematics, Computer Science and Physics \u2013 Kurt G\u00f6del\u2019s Legacy. Lecture Notes in Logic, vol.\u00a06, pp. 23\u201333. Springer, Heidelberg (1996)"},{"key":"4_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-45616-3_3","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Baaz","year":"2002","unstructured":"Baaz, M., Ciabattoni, A.: A Sch\u00fctte-Tait style cut-elimination proof for first-order G\u00f6del logic. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, pp. 24\u201338. Springer, Heidelberg (2002)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1093\/logcom\/13.6.835","volume":"13","author":"M. Baaz","year":"2003","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Hypersequent calculi for G\u00f6del logics\u2014a survey. Journal of Logic and Computation\u00a013, 835\u2013861 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"4_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45653-8_14","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"M. Baaz","year":"2001","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Herbrand\u2019s theorem for prenex G\u00f6del logic and its consequences for theorem proving. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 201\u2013216. Springer, Heidelberg (2001)"},{"issue":"1-2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(95)00107-7","volume":"160","author":"M. Baaz","year":"1996","unstructured":"Baaz, M., Leitsch, A., Zach, R.: Completeness of a first-order temporal logic with time-gaps. Theoretetical Computer Science\u00a0160(1-2), 241\u2013270 (1996)","journal-title":"Theoretetical Computer Science"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-61377-3_28","volume-title":"Computer Science Logic","author":"M. Baaz","year":"1996","unstructured":"Baaz, M., Leitsch, A., Zach, R.: Incompleteness of a first-order G\u00f6del logic and some temporal logics of programs. In: B\u00fcning, H.K. (ed.) CSL 1995. LNCS, vol.\u00a01092, pp. 1\u201315. Springer, Heidelberg (1996)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-61377-3_28","volume-title":"Computer Science Logic","author":"M. Baaz","year":"1996","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: B\u00f6rger, E. (ed.) CSL 1995. LNCS, vol.\u00a01092, pp. 1\u201315. Springer, Heidelberg (1996)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Baaz, M., Preining, N., Zach, R.: Completeness of a hypersequent calculus for some first-order G\u00f6del logics with delta. In: Proceedings of 36th International Symposium on Multiple-valued Logic, Singapore. IEEE Press, Los Alamitos (May 2006)","DOI":"10.1109\/ISMVL.2006.16"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M. Baaz","year":"2007","unstructured":"Baaz, M., Preining, N., Zach, R.: First-order G\u00f6del logics. Annals of Pure and Applied Logic\u00a0147, 23\u201347 (2007)","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR11","unstructured":"Baaz, M., Veith, H.: An axiomatization of quantified propositional G\u00f6del logic using the Takeuti-Titani rule. In: Buss, S., H\u00e1jek, P., Pudl\u00e1k, P. (eds.) Proceedings of the Logic Colloquium 1998, Prague. LNL, vol.\u00a013, pp. 74\u201387. ASL (2000)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Baaz, M., Zach, R.: Compact propositional G\u00f6del logics. In: Proceedings of 28th International Symposium on Multiple-valued Logic, Fukuoka, Japan, pp. 108\u2013113. IEEE Press, Los Alamitos (May 1998)","DOI":"10.1109\/ISMVL.1998.679315"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-44622-2_12","volume-title":"Computer Science Logic","author":"M. Baaz","year":"2000","unstructured":"Baaz, M., Zach, R.: Hypersequents and the proof theory of intuitionistic fuzzy logic. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 187\u2013201. Springer, Heidelberg (2000)"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11083-008-9094-4","volume":"25","author":"A. Beckmann","year":"2008","unstructured":"Beckmann, A., Goldstern, M., Preining, N.: Continuous Fra\u00efss\u00e9 conjecture. Order\u00a025(4), 281\u2013298 (2008)","journal-title":"Order"},{"issue":"1","key":"4_CR15","doi-asserted-by":"publisher","first-page":"26","DOI":"10.2178\/jsl\/1174668382","volume":"71","author":"A. Beckmann","year":"2007","unstructured":"Beckmann, A., Preining, N.: Linear Kripke frames and G\u00f6del logics. Journal of Symbolic Logic\u00a071(1), 26\u201344 (2007)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s00153-004-0265-8","volume":"44","author":"A. Ciabattoni","year":"2005","unstructured":"Ciabattoni, A.: A proof-theoretical investigation of global intuitionistic (fuzzy) logic. Archive of Mathematical Logic\u00a044, 435\u2013457 (2005)","journal-title":"Archive of Mathematical Logic"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A propositional logic with denumerable matrix. Journal of Symbolic Logic\u00a024, 96\u2013107 (1959)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR18","series-title":"Studies in Logic and the Foundation of Mathematics","volume-title":"Intuitionistic logic, model theory and forcing","author":"M.C. Fitting","year":"1969","unstructured":"Fitting, M.C.: Intuitionistic logic, model theory and forcing. Studies in Logic and the Foundation of Mathematics. North-Holland Publishing Company, Amsterdam (1969)"},{"key":"4_CR19","first-page":"1330","volume":"226","author":"R. Fra\u00efss\u00e9","year":"1948","unstructured":"Fra\u00efss\u00e9, R.: Sur la comparaison des types d\u2019ordres. C. R. Acad. Sci. Paris\u00a0226, 1330\u20131331 (1948)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"4_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"issue":"3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A. Horn","year":"1969","unstructured":"Horn, A.: Logic with truth values in a linearly ordered Heyting algebra. Journal of Symbolic Logic\u00a034(3), 395\u2013409 (1969)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4190-4","volume-title":"Classical Descriptive Set Theory","author":"A.S. Kechris","year":"1995","unstructured":"Kechris, A.S.: Classical Descriptive Set Theory. Springer, Heidelberg (1995)"},{"key":"4_CR23","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Descriptive set theory","author":"Y.N. Moschovakis","year":"1980","unstructured":"Moschovakis, Y.N.: Descriptive set theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a0100. North-Holland, Amsterdam (1980)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"461","DOI":"10.2977\/prims\/1195193915","volume":"6","author":"H. Ono","year":"1971","unstructured":"Ono, H.: Kripke models and intermediate logics. Publ. Res. Inst. Math. Sci., Kyoto Univ.\u00a06, 461\u2013476 (1971)","journal-title":"Publ. Res. Inst. Math. Sci., Kyoto Univ."},{"key":"4_CR25","unstructured":"Preining, N.: Complete Recursive Axiomatizability of G\u00f6del Logics. PhD thesis, Vienna University of Technology, Austria (2003)"},{"key":"4_CR26","volume-title":"Linear Orderings","author":"J.G. Rosenstein","year":"1982","unstructured":"Rosenstein, J.G.: Linear Orderings. Academic Press, London (1982)"},{"issue":"1","key":"4_CR27","doi-asserted-by":"publisher","first-page":"101","DOI":"10.21099\/tkbjm\/1496160505","volume":"11","author":"M. Takano","year":"1987","unstructured":"Takano, M.: Another proof of the strong completeness of the intuitionistic fuzzy logic. Tsukuba Journal of Mathematics\u00a011(1), 101\u2013105 (1987)","journal-title":"Tsukuba Journal of Mathematics"},{"key":"4_CR28","volume-title":"Proof Theory","author":"G. Takeuti","year":"1987","unstructured":"Takeuti, G.: Proof Theory, 2nd edn. North-Holland, Amsterdam (1987)","edition":"2"},{"key":"4_CR29","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. Journal of Symbolic Logic\u00a049, 851\u2013866 (1984)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR30","unstructured":"Winkler, R.: How much must an order theorist forget to become a topologist? In: Proc. of the Vienna Conference Contributions of General Algebra, Klagenfurt, Austria, vol. 12, pp. 420\u2013433. Verlag Johannes Heyn (1999)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16242-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T14:07:56Z","timestamp":1553177276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16242-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162411","9783642162428"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16242-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}