{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:19:26Z","timestamp":1772533166741,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T00:00:00Z","timestamp":1357776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10992-012-9261-3","type":"journal-article","created":{"date-parts":[[2013,1,9]],"date-time":"2013-01-09T17:47:58Z","timestamp":1357753678000},"page":"239-259","source":"Crossref","is-referenced-by-count":19,"title":["Bilateralism in Proof-Theoretic Semantics"],"prefix":"10.1007","volume":"43","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,10]]},"reference":[{"issue":"3","key":"9261_CR1","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R Davies","year":"2001","unstructured":"Davies, R., & Pfenning, F. (2001). A modal analysis of staged computation. Journal of the ACM, 48(3), 555\u2013604.","journal-title":"Journal of the ACM"},{"key":"9261_CR2","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics. Cambridge, MA: Harvard University Press."},{"issue":"3","key":"9261_CR3","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1017\/S1755020311000098","volume":"4","author":"N Francez","year":"2011","unstructured":"Francez, N., & Ben-Avi, G. (2011). Proof-theoretic semantic values for logical operators. Review of Symbolic Logic, 4(3), 337\u2013485.","journal-title":"Review of Symbolic Logic"},{"issue":"6","key":"9261_CR4","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10988-011-9088-3","volume":"33","author":"N Francez","year":"2010","unstructured":"Francez, N., & Dyckhoff, R. (2010). Proof-theoretic semantics for a natural language fragment. Linguistics and Philosophy, 33(6), 447\u2013477.","journal-title":"Linguistics and Philosophy"},{"issue":"3","key":"9261_CR5","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/s10992-011-9208-0","volume":"41","author":"N Francez","year":"2012","unstructured":"Francez, N., & Dyckhoff, R. (2012). A note on harmony. Journal of Philosophical Logic, 41(3), 613\u2013628.","journal-title":"Journal of Philosophical Logic"},{"key":"9261_CR6","unstructured":"Hjortland, O.T. (2009). The structure of logical consequence: proof-theoretic conceptions. PhD thesis, University of St Andrews."},{"issue":"4","key":"9261_CR7","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1023\/A:1004747920321","volume":"29","author":"L Humberstone","year":"2000","unstructured":"Humberstone, L. (2000). The revival of rejective negation. Journal of Philosophical Logic, 29(4), 331\u2013381.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9261_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1093\/analys\/anp134","volume":"70","author":"L Incurvati","year":"2010","unstructured":"Incurvati, L., & Smith, P. (2010). Rejection and valuations. Analysis, 70(1), 3\u201310.","journal-title":"Analysis"},{"issue":"2","key":"9261_CR9","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1093\/analys\/ans048","volume":"72","author":"L Incurvati","year":"2012","unstructured":"Incurvati, L., & Smith, P. (2012). Is \u2018no\u2019 a force-indicator? Sometimes, possibly. Analysis, 72(2), 225\u2013231.","journal-title":"Analysis"},{"key":"9261_CR10","doi-asserted-by":"crossref","unstructured":"Moortgat, M. (1997). Categorial type logics. In J. van Benthem, & A. ter Meulen (Eds.), Handbook of logic and language (pp. 93\u2013178). North Holland.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"9261_CR11","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1007\/s001530100136","volume":"41","author":"S Negri","year":"2002","unstructured":"Negri, S. (2002). A normalizing system of natural deduction for intuitionistic linear logic. Archive for Mathematical Logic, 41, 789\u2013810.","journal-title":"Archive for Mathematical Logic"},{"key":"9261_CR12","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1017\/S0960129501003322","volume":"11","author":"F Pfenning","year":"2001","unstructured":"Pfenning, F., & Davies, R. (2001). A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11, 511\u2013540.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9261_CR13","volume-title":"Natural deduction: A proof-theoretical study","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D. (1965). Natural deduction: A proof-theoretical study. Stockholm: Almqvist and Wicksell. Soft cover edition by Dover, 2006."},{"key":"9261_CR14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"AN Prior","year":"1960","unstructured":"Prior, A.N. (1960). The runabout inference-ticket. Analysis, 21, 38\u201339.","journal-title":"Analysis"},{"key":"9261_CR15","unstructured":"Restall, G. (2005). Multiple conclusions. In In 12th international congress on logic, methodology and philosophy of science (pp. 189\u2013205)."},{"key":"9261_CR16","unstructured":"Restall, G. (2008). Assertion, denial and non-classical theories. In In proceedings of the fourth world congress of paraconsistency, Melbourne."},{"issue":"436","key":"9261_CR17","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1093\/mind\/109.436.781","volume":"169","author":"I Rumfitt","year":"2000","unstructured":"Rumfitt, I. (2000). \u2018yes\u2019 and \u2018no\u2019. Mind, 169(436), 781\u2013823.","journal-title":"Mind"},{"issue":"468","key":"9261_CR18","doi-asserted-by":"crossref","first-page":"1059","DOI":"10.1093\/mind\/fzn032","volume":"117","author":"I Rumfitt","year":"2008","unstructured":"Rumfitt, I. (2008). Co-ordination principles: a reply. Mind, 117(468), 1059\u20131063.","journal-title":"Mind"},{"key":"9261_CR19","doi-asserted-by":"crossref","first-page":"1284","DOI":"10.2307\/2274279","volume":"49","author":"P Schroeder-Heister","year":"1984","unstructured":"Schroeder-Heister, P. (1984). A natural extension of natural deduction. Journal of Symbolic Logic, 49, 1284\u20131300.","journal-title":"Journal of Symbolic Logic"},{"key":"9261_CR20","first-page":"133","volume-title":"First Pisa colloquium on logic, language and epistemology","author":"L Tranchini","year":"2010","unstructured":"Tranchini, L. (2010). Refutations: a proof-theoretic account In C. Marletti (Ed.), First Pisa colloquium on logic, language and epistemology (pp. 133\u2013150). Pisa: ETS."},{"key":"9261_CR21","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s001530100091","volume":"40","author":"J von Plato","year":"2001","unstructured":"von Plato, J. (2001). Natural deduction with general elimination rules. Archive for Mathematical Logic, 40, 541\u2013567.","journal-title":"Archive for Mathematical Logic"},{"issue":"2","key":"9261_CR22","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1017\/S175502031000033X","volume":"4","author":"B Wieckowski","year":"2011","unstructured":"Wieckowski, B. (2011). Rules for subatomic derivation. Review of Symbolic Logic, 4(2), 219\u2013236.","journal-title":"Review of Symbolic Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9261-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-012-9261-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9261-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T03:46:26Z","timestamp":1562557586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-012-9261-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,10]]},"references-count":22,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9261"],"URL":"https:\/\/doi.org\/10.1007\/s10992-012-9261-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,10]]}}}