{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T11:29:31Z","timestamp":1772623771878,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2004,9,17]],"date-time":"2004-09-17T00:00:00Z","timestamp":1095379200000},"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":[[2005,5]]},"DOI":"10.1007\/s00153-004-0265-8","type":"journal-article","created":{"date-parts":[[2004,9,18]],"date-time":"2004-09-18T15:22:35Z","timestamp":1095520955000},"page":"435-457","source":"Crossref","is-referenced-by-count":11,"title":["A proof-theoretical investigation of global intuitionistic (fuzzy) logic"],"prefix":"10.1007","volume":"44","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,9,17]]},"reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1002\/malq.19980440204","volume":"44","author":"Aoyama","year":"1998","unstructured":"Aoyama, H.: The semantic Completeness of a Global Intuitionistic Logic. Math. Log. Quart. 44, 167\u2013175 (1998)","journal-title":"Math. Log. Quart."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"Avron","year":"1991","unstructured":"Avron, A.: Hypersequents, Logical Consequence and Intermediate Logics for Concurrency. Ann. Math. Arti. Intel. 4, 225\u2013248 (1991)","journal-title":"Ann. Math. Arti. Intel."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Avron, A.: The Method of Hypersequents in the Proof Theory of Propositional Nonclassical Logics.In: Logic: from Foundations to Applications, European Logic Colloquium, Oxford Science Publications. Clarendon Press, Oxford, 1996, pp. 1\u201332","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Baaz, M.: Infinite-valued G\u00f6del logics with 0-1-projections and relativizations. G\u00f6del 96. Kurt G\u00f6del\u2019s Legacy, LNL, vol. 6 of LNL, 1996, pp. 23\u201333","DOI":"10.1007\/978-3-662-21963-8_2"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ciabattoni, A.: A Sch\u00fctte-Tait style cut-elimination proof for first-order G\u00f6del logic. In: Automated Reasoning with Tableaux and Related Methods (Tableaux\u201902), vol. 2381 of LNAI, 2002, pp. 24\u201338","DOI":"10.1007\/3-540-45616-3_3"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.: Herbrand\u2019s Theorem for Prenex G\u00f6del Logic and its Consequences for Theorem Proving. In: Logic for Programming, Artificial Intelligence and Reasoning (LPAR\u20192001), LNAI, vol. 2250 of LNAI, 2001, pp. 201\u2013216","DOI":"10.1007\/3-540-45653-8_14"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/logcom\/13.6.835","volume":"13","author":"Baaz","year":"2003","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.: Hypersequent Calculi for G\u00f6del Logics \u2013 a Survey. J. Logic and Comput. 13, 1\u201327 (2003)","journal-title":"J. Logic and Comput."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Baaz, M., Zach, R.: Hypersequents and the proof theory of intuitionistic fuzzy logic. In: Computer Science Logic (CSL\u20192000), LNCS, vol. 1862 of LNCS, 2000, pp. 187\u2013201","DOI":"10.1007\/3-540-44622-2_12"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"Dummett","year":"1959","unstructured":"Dummett, M.: A Propositional Logic with Denumerable Matrix. J. Symbolic Logic 24, 96\u2013107 (1959)","journal-title":"J. Symbolic Logic"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"579","DOI":"10.2307\/2272747","volume":"37","author":"Gabbay","year":"1972","unstructured":"Gabbay, D.: Decidability of some intuitionistic predicate theories. J. Symbolic Logic 37, 579\u2013587 (1972)","journal-title":"J. Symbolic Logic"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"Gentzen","year":"1934","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schliessen I and II. Math. Z. 39, 176\u2013210, 405\u2013431 (1934)","journal-title":"Math. Z."},{"key":"CR12","first-page":"34","volume":"4","author":"G\u00f6del","year":"1933","unstructured":"G\u00f6del, K.: Zum Intuitionistischen Aussagenkalkul. Ergebnisse eines mathematischen Kolloquiums 4, 34\u201338 (1933)","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, 1998","DOI":"10.1007\/978-94-011-5300-3"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Ono, H.: On some intuitionistic modal logic. In: Publications of Research Institute for Mathematical Sciences, vol. 13, Kyoto University, 1977, pp. 687\u2013722","DOI":"10.2977\/prims\/1195189604"},{"key":"CR15","unstructured":"Sch\u00fctte, K.: Beweistheorie. Springer Verlag, 1960"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Tait, W.W.: Normal derivability in classical logic. In: The Sintax and Semantics of infinitary Languages, LNM 72, 1968, pp. 204\u2013236","DOI":"10.1007\/BFb0079691"},{"key":"CR17","first-page":"851","volume":"11","author":"Takano","year":"1984","unstructured":"Takano, M.: Another proof of the strong completeness of the intuitionistic fuzzy logic. Tsukuba J. Math. 11, 851\u2013866 (1984)","journal-title":"Tsukuba J. Math."},{"key":"CR18","unstructured":"Takeuti, G.: Proof Theory. 2nd edn, North-Holland, 1987"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"Takeuti","year":"1984","unstructured":"Takeuti, G., Titani, T.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. Symbolic Logic 49, 851\u2013866 (1984)","journal-title":"J. Symbolic Logic"},{"key":"CR20","unstructured":"Takeuti, G., Titani, T.: Global intuitionistic fuzzy set theory. In: The Mathematics of Fuzzy Systems, TUV-Verlag, 1986, pp. 291\u2013301"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0168-0072(87)90081-9","volume":"33","author":"Takeuti","year":"1987","unstructured":"Takeuti, G., Titani, T.: Globalization of intuitionistic set theory. Ann. Pure Appl. Logic 33, 195\u2013211 (1987)","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"506","DOI":"10.2307\/2275544","volume":"62","author":"Titani","year":"2","unstructured":"Titani, T.: Completeness of Global Intuitionistic Set Theory. J. Symbolic Logic 62(2), 506\u2013528 (1997)","journal-title":"J. Symbolic Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-004-0265-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-004-0265-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-004-0265-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,14]],"date-time":"2024-01-14T11:08:54Z","timestamp":1705230534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-004-0265-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,17]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,5]]}},"alternative-id":["265"],"URL":"https:\/\/doi.org\/10.1007\/s00153-004-0265-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,9,17]]}}}