{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T07:44:21Z","timestamp":1777535061765,"version":"3.51.4"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,9,28]],"date-time":"2016-09-28T00:00:00Z","timestamp":1475020800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s00500-016-2366-9","type":"journal-article","created":{"date-parts":[[2016,9,28]],"date-time":"2016-09-28T02:35:21Z","timestamp":1475030121000},"page":"149-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Ten problems in G\u00f6del logic"],"prefix":"10.1007","volume":"21","author":[{"given":"Juan P.","family":"Aguilera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Baaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,28]]},"reference":[{"key":"2366_CR1","unstructured":"Baaz M, Veith H (1998) An axiomatization of quantified propositional G\u00f6del logic using the takeuti-titani rule. In: Proceedings of the annual European summer meeting of the ASL, pp 91\u2013104"},{"issue":"1","key":"2366_CR2","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/j.apal.2006.02.001","volume":"142","author":"M Baaz","year":"2006","unstructured":"Baaz M, Iemhoff R (2006) The Skolemization of existential quantifiers in intuitionistic logic. Ann Pure Appl Log 142(1):269\u2013295","journal-title":"Ann Pure Appl Log"},{"issue":"4","key":"2366_CR3","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1093\/logcom\/exn004","volume":"18","author":"M Baaz","year":"2008","unstructured":"Baaz M, Preining N (2008) Quantifier elimination for quantified propositional logics on Kripke frames of type $$\\omega $$ \u03c9 . J Log Comput 18(4):649\u2013720","journal-title":"J Log Comput"},{"key":"2366_CR4","unstructured":"Baaz M, Preining N (2016) Monadic first-order G\u00f6del logics. In preparation"},{"key":"2366_CR5","doi-asserted-by":"crossref","unstructured":"Baaz M, Ciabattoni A, Ferm\u00fcller CG, Veith H (1998) Proof theory of fuzzy logics: Urquhart\u2019s C and related logics. In: Brim L, Gruska J, Zlatuka J (eds) Mathematical foundations of computer science, vol, 13, pp 203\u2013212","DOI":"10.1007\/BFb0055769"},{"key":"2366_CR6","doi-asserted-by":"crossref","unstructured":"Baaz M, Ciabattoni A, Zach R (2000) Quantified propositional G\u00f6del logics. In: Voronkov A, Michel P (eds) Proceedings of the 7th international conference in logic for programming and automated reasoning, pp 240\u2013256","DOI":"10.1007\/3-540-44404-1_16"},{"key":"2366_CR7","doi-asserted-by":"crossref","unstructured":"Baaz M, Ciabattoni A, Ferm\u00fcller CG (2001) Herbrands theorem for prenex G\u00f6del logic and its consequences for theorem proving logic for programming, artificial intelligence, and reasoning, volume 2250 of the series. Lecture Notes in Computer Science, pp 201\u2013216","DOI":"10.1007\/3-540-45653-8_14"},{"key":"2366_CR8","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1093\/logcom\/13.6.835","volume":"13","author":"M Baaz","year":"2003","unstructured":"Baaz M, Ciabattoni A, Ferm\u00fcller CG (2003) Hypersequent calculi for G\u00f6del Logics. J Log Comput 13:835\u2013861","journal-title":"J Log Comput"},{"issue":"1\u20132","key":"2366_CR9","first-page":"23","volume":"147","author":"M Baaz","year":"2008","unstructured":"Baaz M, Preining N, Zach R (2008) First-order G\u00f6del logics. Ann Pure Appl Log 147(1\u20132):23\u201347","journal-title":"Ann Pure Appl Log"},{"issue":"1","key":"2366_CR10","doi-asserted-by":"crossref","first-page":"24","DOI":"10.2178\/jsl\/1174668382","volume":"72","author":"A Beckmann","year":"2007","unstructured":"Beckmann A, Preining N (2007) Linear Kripke frames and G\u00f6del logics. J Symb Log 72(1):24\u201344","journal-title":"J Symb Log"},{"issue":"3","key":"2366_CR11","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1093\/logcom\/exu016","volume":"25","author":"A Beckmann","year":"2015","unstructured":"Beckmann A, Preining N (2015) Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences. J Log Comput 25(3):527\u2013547","journal-title":"J Log Comput"},{"issue":"4","key":"2366_CR12","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s11083-008-9094-4","volume":"25","author":"A Beckmann","year":"2008","unstructured":"Beckmann A, Goldstern M, Preining N (2008) Continuous Fra\u00efss\u00e9 conjecture. Order 25(4):281\u2013298","journal-title":"Order"},{"key":"2366_CR13","unstructured":"Bell JL, Slomson AB (1969) Models and ultraproducts: an introduction"},{"key":"2366_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86896-2","volume-title":"Grundlagen der Mathematik II","author":"D Hilbert","year":"1970","unstructured":"Hilbert D, Bernays P (1970) Grundlagen der Mathematik II. Springer, Berlin"},{"issue":"4","key":"2366_CR15","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/BF00370479","volume":"38","author":"LL Maksimova","year":"1979","unstructured":"Maksimova LL (1979) Interpolation properties of superintuitionistic logics. Stud Log 38(4):419\u2013428","journal-title":"Stud Log"},{"key":"2366_CR16","doi-asserted-by":"crossref","first-page":"937","DOI":"10.2178\/jsl.7803120","volume":"78","author":"G Mints","year":"2013","unstructured":"Mints G, Olkhovikov G, Urquhart A (2013) Failure of interpolation in constant domain intuitionistic logic. J Symb Log 78:937\u2013950","journal-title":"J Symb Log"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2366-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2366-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2366-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T23:50:19Z","timestamp":1498348219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2366-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,28]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2366"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2366-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,28]]}}}