{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:25:59Z","timestamp":1725492359039},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755586"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75560-9_8","type":"book-chapter","created":{"date-parts":[[2007,10,6]],"date-time":"2007-10-06T01:36:46Z","timestamp":1191634606000},"page":"77-91","source":"Crossref","is-referenced-by-count":1,"title":["Monadic Fragments of G\u00f6del Logics: Decidability and Undecidability Results"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[]},{"given":"Agata","family":"Ciabattoni","sequence":"additional","affiliation":[]},{"given":"Christian G.","family":"Ferm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"LNL","first-page":"23","volume-title":"Proceedings G\u00f6del 1996. 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: Proceedings G\u00f6del 1996. Kurt G\u00f6del\u2019s Legacy. LNL, vol.\u00a06, pp. 23\u201333. Springer, Heidelberg (1996)"},{"key":"8_CR2","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)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","first-page":"1","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 logic of programs. In: Kleine B\u00fcning, H. (ed.) CSL 1995. LNCS, vol.\u00a01092, pp. 1\u201315. Springer, Heidelberg (1996)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147\/1-2","author":"M. Baaz","year":"2007","unstructured":"Baaz, M., Preining, N., Zach, R.: First-order G\u00f6del logics. Annals of Pure and Applied Logic\u00a0147\/1-2, 23\u201347 (2007)","journal-title":"Annals of Pure and Applied Logic"},{"key":"8_CR5","unstructured":"Beckmann, A., Goldstern, G., Preining, N.: Continuous Fra\u00efss\u00e9 Conjecture. Sumitted, preprint at \n \n http:\/\/arxiv.org\/abs\/math\/0411117"},{"key":"8_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59207-2","volume-title":"The classical Decision Problem","author":"E. B\u00f6rger","year":"1997","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The classical Decision Problem. Springer, Heidelberg (1997)"},{"key":"8_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.\u00a0of Symbolic Logic\u00a024, 97\u2013106 (1959)","journal-title":"J.\u00a0of Symbolic Logic"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"579","DOI":"10.2307\/2272747","volume":"37","author":"D.M. Gabbay","year":"1972","unstructured":"Gabbay, D.M.: Decidability of some intuitionistic predicate theories. J.\u00a0of Symbolic Logic\u00a037, 579\u2013587 (1972)","journal-title":"J.\u00a0of Symbolic Logic"},{"key":"8_CR9","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anz.\u00a0Akad.\u00a0Wiss.\u00a0Wien\u00a069, 65\u201366 (1932)","journal-title":"Anz.\u00a0Akad.\u00a0Wiss.\u00a0Wien"},{"key":"8_CR10","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics. Studies in Logic and Computation\u00a09, Research Studies Press (2001)"},{"key":"8_CR11","doi-asserted-by":"crossref","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 Academic Publishers, Dordrecht (1998)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1016\/0933-3657(92)90022-H","volume":"7","author":"W. Moser","year":"1992","unstructured":"Moser, W., Adlassnig, K.-P.: Consistency checking of binary categorical relationships in a medical knowledge base. Artificial Inteligence in Medicine\u00a07, 389\u2013407 (1992)","journal-title":"Artificial Inteligence in Medicine"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF02023019","volume":"23","author":"M. Ragaz","year":"1983","unstructured":"Ragaz, M.: Die Unentscheidbarkeit der einstelligen unendlichwertigen Pr\u00e4dikatenlogik. Arch. math. Logik\u00a023, 129\u2013139 (1983)","journal-title":"Arch. math. Logik"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"264","DOI":"10.2307\/1969974","volume":"64","author":"H. Rogers","year":"1956","unstructured":"Rogers, H.: Certain logical reduction and decision problems. Annals of Mathematics\u00a064, 264\u2013284 (1956)","journal-title":"Annals of Mathematics"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G. Takeuti","year":"1984","unstructured":"Takeuti, G., Titani, T.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J.\u00a0of Symbolic Logic\u00a049, 851\u2013866 (1984)","journal-title":"J.\u00a0of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75560-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:24:49Z","timestamp":1619504689000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75560-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755586"],"references-count":15,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-540-75560-9_8","relation":{},"subject":[]}}
