{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,9]],"date-time":"2024-04-09T11:14:58Z","timestamp":1712661298394},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2017,4,11]],"date-time":"2017-04-11T00:00:00Z","timestamp":1491868800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1007\/s11225-017-9719-y","type":"journal-article","created":{"date-parts":[[2017,4,10]],"date-time":"2017-04-10T23:09:26Z","timestamp":1491865766000},"page":"971-994","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Simple Sequent Calculus for Angell\u2019s Logic of Analytic Containment"],"prefix":"10.1007","volume":"105","author":[{"given":"Rohan","family":"French","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,11]]},"reference":[{"key":"9719_CR1","unstructured":"Anderson, A. R., and N. D. Belnap, Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press, 1975."},{"key":"9719_CR2","first-page":"147","volume":"47","author":"R Angell","year":"1977","unstructured":"Angell, R., Three Systems of First Degree Entailment, Journal of Symbolic Logic 47: 147, 1977.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9719_CR3","doi-asserted-by":"crossref","first-page":"677","DOI":"10.2307\/2273778","volume":"46","author":"R Angell","year":"1981","unstructured":"Angell, R., Analytic truth-tables, Journal of Symbolic Logic 46(3): 677, 1981.","journal-title":"Journal of Symbolic Logic"},{"key":"9719_CR4","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-94-009-1005-8_8","volume-title":"Directions in Relevant Logic, Chapter 8","author":"R Angell","year":"1989","unstructured":"Angell, R., Deducibility, Entailment and Analytic Containment. In J.\u00a0Norman and R.\u00a0Sylvan (Eds.), Directions in Relevant Logic, Chapter\u00a08, Dordrecht: Kluwer, 1989, pp. 119\u2013144."},{"key":"9719_CR5","unstructured":"Belnap, N. D., Rescher\u2019s Hypothetical Reasoning: An Amendment. In E.\u00a0Sosa (Ed.), The Philosophy of Nicholas Rescher: Discussion and Replies, D. Reidel, 1979, pp. 19\u201328."},{"key":"9719_CR6","unstructured":"Brady, R. T., Universal Logic. Number 109 in csli Lecture Notes. Stanford: csli Publications, 2006."},{"key":"9719_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/B:STUD.0000034187.37935.24","volume":"77","author":"F Correia","year":"2004","unstructured":"Correia, F., Semantics for Analytic Containment, Studia Logica\u00a077: 87\u2013104, 2004.","journal-title":"Studia Logica"},{"key":"9719_CR8","first-page":"251","volume":"211","author":"F Correia","year":"2010","unstructured":"Correia, F., Grounding and Truth-Functions, Logique Et Analyse\u00a0211: 251\u2013279, 2010.","journal-title":"Logique Et Analyse"},{"issue":"1","key":"9719_CR9","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1017\/S1755020315000258","volume":"9","author":"F Correia","year":"2016","unstructured":"Correia, F., On the Logic of Factual Equivalence, The Review of Symbolic Logic\u00a09(1): 103\u2013122, 2016.","journal-title":"The Review of Symbolic Logic"},{"key":"9719_CR10","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1305\/ndjfl\/1093636614","volume":"27","author":"C Daniels","year":"1986","unstructured":"Daniels, C., A Story Semantics for Implication, Notre Dame Journal of Formal Logic\u00a0 27: 221\u2013246, 1986.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9719_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00297573","volume":"13","author":"H Deutsch","year":"1984","unstructured":"Deutsch, H., Paraconsistent Analytic Implication, Journal of Philosophical Logic\u00a013: 1\u201311, 1984.","journal-title":"Journal of Philosophical Logic"},{"key":"9719_CR12","doi-asserted-by":"crossref","unstructured":"Dragalin, A., Mathematical Intuitionism. Introduction to Proof Theory. Providence: American Mathematical Society, 1988.","DOI":"10.1090\/mmono\/067"},{"key":"9719_CR13","doi-asserted-by":"crossref","unstructured":"Ferguson, T. M., Cut-down operations on bilattices, In Proceedings of the 45th International Symposium on Multiple-Valued Logic (IEEE 2015), Los Alamitos, CA, IEEE Computer Society Press, 2015, pp. 163\u2013172.","DOI":"10.1109\/ISMVL.2015.14"},{"issue":"5","key":"9719_CR14","doi-asserted-by":"crossref","first-page":"1617","DOI":"10.1093\/logcom\/exu048","volume":"26","author":"TM Ferguson","year":"2016","unstructured":"Ferguson, T.\u00a0M., Faulty Belnap computers and subsystems of FDE, Journal of Logic and Computation 26(5): 1617\u20131636, 2016.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"9719_CR15","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1305\/ndjfl\/1093636609","volume":"27","author":"K Fine","year":"1986","unstructured":"Fine, K., Analytic Implication, Notre Dame Journal of Formal Logic 27(2): 169\u2013179, 1986.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9719_CR16","doi-asserted-by":"crossref","unstructured":"Fine, K., Guide to ground. In F.\u00a0Correia and B.\u00a0Schnieder (Eds.), Metaphysical Grounding, pp. 37\u201380. Cambridge University Press, 2012 pp. 37\u201380.","DOI":"10.1017\/CBO9781139149136.002"},{"issue":"3","key":"9719_CR17","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1093\/analys\/ant039","volume":"73","author":"K Fine","year":"2013","unstructured":"Fine, K., A Note on Partial Content, Analysis 73(3): 413\u2013419, 2013.","journal-title":"Analysis"},{"key":"9719_CR18","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1007\/s10992-013-9281-7","volume":"43","author":"K Fine","year":"2014","unstructured":"Fine, K., Truth-Maker Semantics for Intuitionistic Logic, Journal of Philosophical Logic 43: 549\u2013577, 2014.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9719_CR19","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","volume":"45","author":"K Fine","year":"2016","unstructured":"Fine, K., Angellic Content, Journal of Philosophical Logic 45(2): 199\u2013226, 2016.","journal-title":"Journal of Philosophical Logic"},{"key":"9719_CR20","doi-asserted-by":"crossref","first-page":"477","DOI":"10.2307\/2024563","volume":"66","author":"B Fraassen van","year":"1969","unstructured":"van Fraassen, B., Facts and Tautological Entailments, The Journal of Philosophy 66: 477\u2013487, 1969.","journal-title":"The Journal of Philosophy"},{"key":"9719_CR21","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1023\/B:LOGI.0000003922.76154.69","volume":"32","author":"L Humberstone","year":"2003","unstructured":"Humberstone, L., False Though Partly True \u2013 An Experiment in Logic, Journal of Philosophical Logic 32: 613\u2013665, 2003.","journal-title":"Journal of Philosophical Logic"},{"key":"9719_CR22","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., and J. von Plato, Structural Proof Theory, Cambridge University Press, Cambridge, 2001."},{"key":"9719_CR23","doi-asserted-by":"crossref","unstructured":"Paoli, F., Substructural Logics: A Primer, Kluwer Academic Publishers, 2002.","DOI":"10.1007\/978-94-017-3179-9"},{"key":"9719_CR24","first-page":"5","volume":"4","author":"W Parry","year":"1933","unstructured":"Parry, W., Ein Axiomensystem f\u00fcr eine neue Art von Implikation (analytische Implikation), Ergebnisse eines mathematischen Kolloquiums 4: 5\u20136, 1933.","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"issue":"2","key":"9719_CR25","first-page":"441","volume":"37","author":"W Parry","year":"1972","unstructured":"Parry, W., Comparison of Entailment Theories, Journal of Symbolic Logic 37(2): 441\u2013442, 1972.","journal-title":"Journal of Symbolic Logic"},{"key":"9719_CR26","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1002\/malq.19950410403","volume":"41","author":"AP Pynko","year":"1995","unstructured":"Pynko, A.\u00a0P., Characterizing Belnap\u2019s Logic via De Morgan\u2019s Laws, Mathematical Logic Quarterly 41: 442\u2013454, 1995.","journal-title":"Mathematical Logic Quarterly"},{"key":"9719_CR27","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"A Troelstra","year":"2000","unstructured":"Troelstra, A., and H.\u00a0Schwichtenberg, Basic Proof Theory. Cambridge: Cambridge University Press, 2000."},{"key":"9719_CR28","volume-title":"Aboutness","author":"S Yablo","year":"2014","unstructured":"Yablo, S., Aboutness. Princeton: Princeton University Press, 2014."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9719-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9719-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9719-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,20]],"date-time":"2019-09-20T18:05:22Z","timestamp":1569002722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9719-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,11]]},"references-count":28,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["9719"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9719-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,11]]}}}