{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T17:44:36Z","timestamp":1715967876064},"reference-count":25,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2016,2]]},"DOI":"10.1093\/logcom\/ext018","type":"journal-article","created":{"date-parts":[[2013,9,5]],"date-time":"2013-09-05T02:08:27Z","timestamp":1378346907000},"page":"51-64","source":"Crossref","is-referenced-by-count":0,"title":["Proof theory of witnessed G\u00f6del logic: A negative result"],"prefix":"10.1093","volume":"26","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"}]}],"member":"286","published-online":{"date-parts":[[2013,9,4]]},"reference":[{"key":"2016102400372687000_26.1.51.1","doi-asserted-by":"publisher","DOI":"10.2307\/2273828"},{"key":"2016102400372687000_26.1.51.2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01531058"},{"key":"2016102400372687000_26.1.51.3","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.05.011"},{"key":"2016102400372687000_26.1.51.4","doi-asserted-by":"crossref","unstructured":"Baaz M. Ferm\u00fcller C. G. Proceedings of Tableaux\u201899, LNAI 1617. 1999. Analytic Calculi for Projective Logics; p. 36-51.","DOI":"10.1007\/3-540-48754-9_8"},{"key":"2016102400372687000_26.1.51.5","unstructured":"Baaz M. Ciabattoni A. Ferm\u00fcller C. G. Proceedings of ISMVL 2001. IEEE; 2001. Cut-elimination in a sequents-of-relations calculus for G\u00f6del logic; p. 181-186."},{"key":"2016102400372687000_26.1.51.6","doi-asserted-by":"crossref","unstructured":"Baaz M. Ciabattoni A. Ferm\u00fcller C. G. Sequent of relations calculi: a framework for analytic deduction in many-valued logics. In: Fitting M. Orlowska E. , editors. Beyond Two: Theory and Applications of Multiple-Valued Logic. Physica; 2003. p. 157-180.","DOI":"10.1007\/978-3-7908-1769-0_6"},{"key":"2016102400372687000_26.1.51.7","doi-asserted-by":"crossref","unstructured":"Baaz M. Ciabattoni A. Ferm\u00fcller C. G. Proceedings of LPAR 2008, LNCS 3452. 2008. Cut elimination for first order G\u00f6del logic by Hyperclause Resolution; p. 451-466.","DOI":"10.1007\/978-3-540-89439-1_32"},{"key":"2016102400372687000_26.1.51.8","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn059"},{"key":"2016102400372687000_26.1.51.9","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2007.03.001"},{"key":"2016102400372687000_26.1.51.10","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","article-title":"Display logic","volume":"11","author":"Belnap","year":"1982","journal-title":"Journal of Philosophical Logic"},{"key":"2016102400372687000_26.1.51.11","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-012-0317-4"},{"key":"2016102400372687000_26.1.51.12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2008.10.003"},{"key":"2016102400372687000_26.1.51.13","unstructured":"Bruscoli P. Guglielmi A. On Analytic Inference Rules in the Calculus of Structures. Note available at http:\/\/cs.bath.ac.uk\/ag\/p\/Onan.pdf ."},{"key":"2016102400372687000_26.1.51.14","doi-asserted-by":"crossref","unstructured":"Chagrov A. Zakharyaschev M. Modal Logic. Oxford University Press; 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"2016102400372687000_26.1.51.15","unstructured":"Cintula P. H\u00e1jek P. Noguera C. , editors. Handbook of Mathematical Fuzzy Logic. London: College Publications; 2011. Mathematical Logic and Foundations, vol. 37 and 38."},{"key":"2016102400372687000_26.1.51.16","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-0114(01)00098-7"},{"key":"2016102400372687000_26.1.51.17","doi-asserted-by":"publisher","DOI":"10.1145\/1182613.1182614"},{"key":"2016102400372687000_26.1.51.18","doi-asserted-by":"crossref","unstructured":"Hajek P. Metamathematics of Fuzzy Logic. Kluwer; 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"key":"2016102400372687000_26.1.51.19","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2009.05.015"},{"key":"2016102400372687000_26.1.51.20","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1154698581"},{"key":"2016102400372687000_26.1.51.21","doi-asserted-by":"crossref","unstructured":"Metcalfe G. Olivetti N. Gabbay D. Proof Theory for Fuzzy Logics. Vol. 36. Springer Series in Applied Logic; 2008.","DOI":"10.1007\/978-1-4020-9409-5"},{"key":"2016102400372687000_26.1.51.22","doi-asserted-by":"crossref","unstructured":"Negri S. Logic Colloquium 2005. 2007. Proof analysis in non-classical logics; p. 107-128.","DOI":"10.1017\/CBO9780511546464.010"},{"key":"2016102400372687000_26.1.51.23","first-page":"443","article-title":"On the importance of being analytic. The paradigmatic case of the logic of proofs","volume":"219","author":"Poggiolesi","year":"2012","journal-title":"Logique et Analyse"},{"key":"2016102400372687000_26.1.51.24","doi-asserted-by":"publisher","DOI":"10.2307\/2964111"},{"key":"2016102400372687000_26.1.51.25","doi-asserted-by":"publisher","DOI":"10.2307\/2271362"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/26\/1\/51\/7948336\/ext018.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T16:58:39Z","timestamp":1715965119000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,4]]},"references-count":25,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2016,1,28]]},"published-print":{"date-parts":[[2016,2]]}},"alternative-id":["10.1093\/logcom\/ext018"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext018","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,4]]}}}