{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T20:40:58Z","timestamp":1715719258239},"reference-count":32,"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\/ext023","type":"journal-article","created":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:16:52Z","timestamp":1374020212000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Foreword"],"prefix":"10.1093","volume":"26","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beata","family":"Konikowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Rabinovich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2013,7,15]]},"reference":[{"key":"2016102400372687000_26.1.1.1","doi-asserted-by":"publisher","DOI":"10.2307\/2274169"},{"key":"2016102400372687000_26.1.1.2","doi-asserted-by":"publisher","DOI":"10.2307\/2273828"},{"key":"2016102400372687000_26.1.1.3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90037-0"},{"key":"2016102400372687000_26.1.1.4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01222890"},{"key":"2016102400372687000_26.1.1.5","doi-asserted-by":"publisher","DOI":"10.2307\/2274660"},{"key":"2016102400372687000_26.1.1.6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01531058"},{"key":"2016102400372687000_26.1.1.7","doi-asserted-by":"publisher","DOI":"10.2307\/2274919"},{"key":"2016102400372687000_26.1.1.8","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90023-U"},{"key":"2016102400372687000_26.1.1.9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530934"},{"key":"2016102400372687000_26.1.1.10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881838"},{"key":"2016102400372687000_26.1.1.11","doi-asserted-by":"crossref","unstructured":"Avron A. The method of hypersequents in proof theory of propositional non-classical logics. In: Hodges W. , editor. Logic: From Foundations to Applications, European logic colloquium vol. 1993. Oxford Science Publications; 1996. p. 1-32.","DOI":"10.1093\/oso\/9780198538622.003.0001"},{"key":"2016102400372687000_26.1.1.12","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001018"},{"key":"2016102400372687000_26.1.1.13","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/5.2.181"},{"key":"2016102400372687000_26.1.1.14","unstructured":"Avron A. G\u00f6del's Theorems and the Problem of the Foundations of Mathematics (in Hebrew). Broadcasted University Series, Ministry of Defense Publications; 1998."},{"key":"2016102400372687000_26.1.1.15","doi-asserted-by":"publisher","DOI":"10.2307\/2586715"},{"key":"2016102400372687000_26.1.1.16","unstructured":"Avron A. Introduction to Discrete Mathematics (in Hebrew). Tel-Aviv University; 2001."},{"key":"2016102400372687000_26.1.1.17","doi-asserted-by":"crossref","unstructured":"Avron A. On negation, completeness and consistency. In: Gabbay D. M. Guenthner F. , editors. Handbook of Philosophical Logic, vol. 9. Kluwer; 2002. p. 287-319.","DOI":"10.1007\/978-94-017-0464-9_5"},{"key":"2016102400372687000_26.1.1.18","doi-asserted-by":"crossref","unstructured":"Avron A. Classical Gentzen-type methods in propositional many-valued logics. In: Fitting M. , editor. Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing, vol. 114. Physica; 2003. p. 117-155.","DOI":"10.1007\/978-3-7908-1769-0_5"},{"key":"2016102400372687000_26.1.1.19","doi-asserted-by":"crossref","unstructured":"Avron A. Transitive closure and the mechanization of mathematics. In: Kamareddine F. D. , editor. Thirty Five Years of Automating Mathematics, Applied Logic Series, vol. 28. Kluwer Academic Publishers; 2003. p. 149-171.","DOI":"10.1007\/978-94-017-0253-9_7"},{"key":"2016102400372687000_26.1.1.20","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.12.008"},{"key":"2016102400372687000_26.1.1.21","doi-asserted-by":"crossref","unstructured":"Avron A. A new approach to predicative set theory. In: Schindler R. , editor. Ways of Proof Theory, Onto Series in Mathematical Logic. Onto; 2010. p. 31-63.","DOI":"10.1515\/9783110324907.31"},{"key":"2016102400372687000_26.1.1.22","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","article-title":"Reasoning with logical bilattices","volume":"5","author":"Arieli","year":"1996","journal-title":"Journal of Logic, Language, and Information"},{"key":"2016102400372687000_26.1.1.23","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00032-0"},{"key":"2016102400372687000_26.1.1.24","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.2.119"},{"key":"2016102400372687000_26.1.1.25","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-011-9346-y"},{"key":"2016102400372687000_26.1.1.26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-2011-615","article-title":"Finite-valued logics for information processing","volume":"114","author":"Avron","year":"2012","journal-title":"Fundamenta Informaticae"},{"key":"2016102400372687000_26.1.1.27","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi001"},{"key":"2016102400372687000_26.1.1.28","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","article-title":"Non-deterministic semantics for logical systems \u2013 a survey","volume-title":"Handbook of Philosophical Logic","volume":"16","author":"Avron","year":"2011"},{"key":"2016102400372687000_26.1.1.29","doi-asserted-by":"publisher","DOI":"10.1007\/BF00245294"},{"key":"2016102400372687000_26.1.1.30","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exs039"},{"key":"2016102400372687000_26.1.1.31","doi-asserted-by":"crossref","unstructured":"Metcalfe G. Olivetti N. Gabbay D. Proof Theory for Fuzzy Logics, Vol. 36 of Applied Logic Series. Springer; 2009.","DOI":"10.1007\/978-1-4020-9409-5"},{"key":"2016102400372687000_26.1.1.32","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2011.09.006"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/26\/1\/1\/7949940\/ext023.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T20:24:22Z","timestamp":1715718262000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,15]]},"references-count":32,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2016,1,28]]},"published-print":{"date-parts":[[2016,2]]}},"alternative-id":["10.1093\/logcom\/ext023"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext023","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,15]]}}}