{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:06:30Z","timestamp":1757311590690},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1980,2,1]],"date-time":"1980-02-01T00:00:00Z","timestamp":318211200000},"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":[[1980,2]]},"DOI":"10.1007\/bf00258076","type":"journal-article","created":{"date-parts":[[2004,12,10]],"date-time":"2004-12-10T03:44:27Z","timestamp":1102650267000},"page":"41-57","source":"Crossref","is-referenced-by-count":14,"title":["A sieve for entailments"],"prefix":"10.1007","volume":"9","author":[{"given":"J. Michael","family":"Dunn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.2307\/2963676","volume":"27","author":"A. R. Anderson","year":"1962","unstructured":"Anderson A. R. and Belnap N. D. Jr., ?The Pure Calculus of Entailment,? The Journal of Symbolic Logic 27 (1962), 19?52.","journal-title":"The Journal of Symbolic Logic"},{"key":"CR2","volume-title":"Entailment","author":"A. R. Anderson","year":"1975","unstructured":"Anderson A. R. and Belnap N. D. Jr., Entailment, vol. 1, Princeton (Princeton University Press), 1975."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J. M. Dunn","year":"1976","unstructured":"Dunn J. M., ?Intuitive Semantics for First-Degree Entailments and ?Coupled Trees?,? Philosophical Studies 29 (1976), 149?168.","journal-title":"Philosophical Studies"},{"key":"CR4","first-page":"157","volume":"32","author":"P. T. Geach","year":"1958","unstructured":"Geach P. T., ?Entailment,? Aristotelean Society Supplementary Volume 32 (1958), 157?162. Reprinted in Logic Matters, Oxford (Basil Blackwell), 1972.","journal-title":"Aristotelean Society Supplementary Volume"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"237","DOI":"10.2307\/2183950","volume":"79","author":"P. T. Geach","year":"1970","unstructured":"Geach P. T., ?Entailment,? The Philosophical Review 79 (1970), 237?239. Reprinted in Logic Matters, Oxford (Basil Blackwell), 1972.","journal-title":"The Philosophical Review"},{"key":"CR6","unstructured":"Jeffrey, R. C., Formal Logic: Its Scope and Limitations, New York, 1967."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/aristoteliansupp\/32.1.123","volume":"32","author":"C. Lewy","year":"1958","unstructured":"Lewy C., ?Entailment,? Aristotelean Society Supplementary Volume 32 (1958), pp. 123?142.","journal-title":"Aristotelean Society Supplementary Volume"},{"key":"CR8","volume-title":"Meaning and Modality","author":"C. Lewy","year":"1976","unstructured":"Lewy C., Meaning and Modality, Cambridge, England (Cambridge University Press), 1976."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Smiley, T. J., ?Entailment and Deducibility,? Proceedings of the Aristotelean Society, n.s., 59, pp. 233?254.","DOI":"10.1093\/aristotelian\/59.1.233"},{"key":"CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R. Smullyan","year":"1968","unstructured":"Smullyan R., First-Order Logic, Berlin (Springer-Verlag), 1968."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"von Wright, G. H., ?A Note on Entailment,? The Philosophical Quarterly 9, 363?365.","DOI":"10.2307\/2216370"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00258076.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00258076\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00258076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T16:24:01Z","timestamp":1586017441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00258076"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,2]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1980,2]]}},"alternative-id":["BF00258076"],"URL":"https:\/\/doi.org\/10.1007\/bf00258076","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980,2]]}}}