{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:18:17Z","timestamp":1725459497036},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630951"},{"type":"electronic","value":"9783540691297"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0035648","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:29:25Z","timestamp":1138202965000},"page":"554-567","source":"Crossref","is-referenced-by-count":3,"title":["Logic for two: The semantics of distributive substructural logics"],"prefix":"10.1007","author":[{"given":"John","family":"Slaney","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"41_CR1","unstructured":"A.R. Anderson, N.D. Belnap and J.M. Dunn, Entailment, vol. II. Princeton, 1992."},{"key":"41_CR2","doi-asserted-by":"crossref","first-page":"931","DOI":"10.2307\/2273659","volume":"48","author":"H.P. Barendregt","year":"1983","unstructured":"H.P. Barendregt, M. Coppo and M. Dezani-Ciancaglini, A Filter Lambda Model and the Completeness of Type Assignment. Journal of Symbolic Logic 48 (1983) 931\u2013940.","journal-title":"Journal of Symbolic Logic"},{"key":"41_CR3","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0304-3975(92)90306-Z","volume":"100","author":"M. Dezani-Ciancaglini","year":"1992","unstructured":"M. Dezani-Ciancaglini and J.R. Hindley, Intersection Types for Combinatory Logic. Theoretical Computer Science 100 (1992) 303\u2013324.","journal-title":"Theoretical Computer Science"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"J.M. Dunn, Relevance Logic and Entailment. Gabbay & G\u00fcnthner (ed) Handbook of Philosophical Logic, vol. 3. Dordrecht, 1986, 117\u2013229.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"41_CR5","doi-asserted-by":"crossref","first-page":"824","DOI":"10.2307\/2275433","volume":"57","author":"H. Friedman","year":"1992","unstructured":"H. Friedman and R.K. Meyer, Whither Relevant Arithmetic? Journal of Symbolic Logic 57 (1992) 824\u2013831.","journal-title":"Journal of Symbolic Logic"},{"key":"41_CR6","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1305\/ndjfl\/1093634408","volume":"33","author":"S. Giambrone","year":"1992","unstructured":"S. Giambrone, Real Reduced Models for Relevant Logics without WI. Notre Dame Journal of Formal Logic 33 (1992) 442\u2013449","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"41_CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1305\/ndjfl\/1093636096","volume":"33","author":"E.D. Mares","year":"1992","unstructured":"E.D. Mares and R.K. Meyer, The Admissibility of Gamma in R4. Notre Dame Journal of Formal Logic 33 (1992) 197\u2013206.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"R.K. Meyer, Intuitionism, Entailment, Negation. Leblanc (ed) Truth, Syntax and Modality. Amsterdam, 1973, 168\u2013198.","DOI":"10.1016\/S0049-237X(08)71540-4"},{"key":"41_CR9","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1093\/oso\/9780198537779.003.0009","volume-title":"Substructural Logics","author":"R.K. Meyer","year":"1993","unstructured":"R.K. Meyer and E.D. Mares, The Semantics of Entailment O, Kosta Do\u0161en & Peter Schroeder-Heister (Eds.), Substructural Logics, Oxford, OUP, 1993 239\u2013258."},{"key":"41_CR10","first-page":"407","volume":"15","author":"R.K. Meyer","year":"1972","unstructured":"R.K. Meyer and F.R. Routley, Algebraic Analysis of Entailment 1, Logique et Analyse 15 (1972) 407\u2013428.","journal-title":"Logique et Analyse"},{"key":"41_CR11","doi-asserted-by":"crossref","unstructured":"F.R. Routley and R.K. Meyer, Semantics of Entailment. Leblanc (ed) Truth, Syntax and Modality. Amsterdam, 1973, 199\u2013243.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"41_CR12","unstructured":"F.R. Routley, R.K. Meyer, R.T. Brady and V. Plumwood, Relevant Logics and their Rivals, Atascadero, CA, 1983."},{"key":"41_CR13","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093637560","volume":"28","author":"J.K. Slaney","year":"1987","unstructured":"J.K. Slaney, Reduced Models for Relevant Logics Without WI, Notre Dame Journal of Formal Logic 28 (1987) 395\u2013407.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"41_CR14","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1080\/00048409012340183","volume":"68","author":"J.K. Slaney","year":"1990","unstructured":"J.K. Slaney, A General Logic, Australasian Journal of Philosophy 68 (1990) 74\u201388.","journal-title":"Australasian Journal of Philosophy"},{"key":"41_CR15","unstructured":"J.K. Slaney and G.A. Restall, Realistic Belief Revision. Proc. Second World Conference on the Fundamentals of AI. Paris, 1995, 367\u2013378."}],"container-title":["Lecture Notes in Computer Science","Qualitative and Quantitative Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T14:09:14Z","timestamp":1706882954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630951","9783540691297"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0035648","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}