{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:37:13Z","timestamp":1770431833899,"version":"3.49.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1987,11,1]],"date-time":"1987-11-01T00:00:00Z","timestamp":562723200000},"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":[[1987,11]]},"DOI":"10.1007\/bf00431183","type":"journal-article","created":{"date-parts":[[2004,11,10]],"date-time":"2004-11-10T18:37:40Z","timestamp":1100111860000},"page":"347-381","source":"Crossref","is-referenced-by-count":37,"title":["Relevant predication 1: The formal theory"],"prefix":"10.1007","volume":"16","author":[{"given":"J. Michael","family":"Dunn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Alan R. Anderson and Nuel D. Belnap et al., 1975, Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton, xxxii + 542 pp."},{"key":"CR2","unstructured":"Alan R. Anderson, Nuel D. Belnap, and J. Michael Dunn et al., 198+, Entailment: The Logic of Relevance and Necessity, vol. 2, Princeton, forthcoming."},{"key":"CR3","unstructured":"Nuel D. Belnap, circa 1970, ?Strict Polyadic Combinatory Logics?, unpublished manuscript."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Nuel D. Belnap, 1974, ?Functions Which Really Depend on Their Arguments?, unpublished. Presented to a meeting of the Society of Exact Philosophy, University of Alberta, 1974.","DOI":"10.1086\/psaprocbienmeetp.1974.495795"},{"key":"CR5","unstructured":"Aldo Bressan, 1973, A General Interpreted Modal Calculus, Yale University Press."},{"key":"CR6","volume-title":"Combinatory Logic","author":"Haskell B. Curry","year":"1958","unstructured":"Haskell B.Curry and RobertFeys, 1958, Combinatory Logic, vol. 1, Amsterdam (North-Holland Publishing Company)."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/BF02282493","volume":"35","author":"J. Michael Dunn","year":"1976","unstructured":"J. MichaelDunn, 1976. ?Quantification and RM?, Studia Logica 35, 315?322.","journal-title":"Studia Logica"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00370478","volume":"38","author":"J. Michael Dunn","year":"1979","unstructured":"J. MichaelDunn, 1979, ?Relevant Robinson's Arithmetic?, Studia Logica 38, pp. 407?418.","journal-title":"Studia Logica"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"J. Michael Dunn, 1986, ?Relevance Logic and Entailment?, Ch. 3 of Handbook of Philosophical Logic, vol. 3, eds. D. Gabbay and F. Guenthner, D. Reidel Publishing Company, pp. 117?224.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"CR10","unstructured":"James B. Freeman, 1973, ?Algebraic Semantics for Modal and Relevant Logics?, Ph.D. Thesis, Indiana University, Bloomington."},{"key":"CR11","unstructured":"Glen Helman, 1977, Restricted Lambda Abstraction and the Interpretation of Some Nonclassical Logics, Ph.D. Thesis, University of Pittsburgh."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF00262047","volume":"6","author":"Glen Helman","year":"1977","unstructured":"GlenHelman, 1977a. ?Completeness of the Normal Typed Fragment of the ?-System U *?, Journal of Philosophical Logic 6, 33?46.","journal-title":"Journal of Philosophical Logic"},{"key":"CR13","unstructured":"Glen Helman, 198 +, ?Relevant Implication and Relevant Functions?, \u00a771 of Anderson, Belnap, Dunn et al., 198 +."},{"key":"CR14","unstructured":"Robert K. Meyer, circa 1973, ?Coherence Revisited?, unpublished manuscript."},{"key":"CR15","unstructured":"Robert K. Meyer, 1975, ?Sugihara Is a Characteristic Matrix for RM?, \u00a729.3 of Anderson, Belnap et al., 1975."},{"key":"CR16","first-page":"133","volume":"5","author":"Robert K. Meyer","year":"1976","unstructured":"Robert K.Meyer, 1976, ?Relevant Arithmetic?, Bulletin of the Section of Logic, Institute of Philosophy and Sociology, Polish Academy of Sciences, 5, 133?137, an abstract of two unpublished manuscripts (circa 1975), ?Arithmetic Formulated Relevantly?, and ?The Consistency of Arithmetic?","journal-title":"Bulletin of the Section of Logic"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1305\/ndjfl\/1093891202","volume":"15","author":"Robert K. Meyer","year":"1974","unstructured":"Robert K.Meyer, J. MichaelDunn, and HuguesLeblanc, 1974, ?Completeness of Relevant Quantification Theories?, Notre Dame Journal of Formal Logic 15, 97?121.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR18","unstructured":"Garrel Pottinger, 1972, A Theory of Implications, Ph.D. Thesis, University of Pittsburgh."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"335","DOI":"10.2307\/2214309","volume":"6","author":"Richard Routley","year":"1972","unstructured":"RichardRoutley and ValerieRoutley, 1972, ?Semantics of First-Degree Entailment?, No\u00fbs 6, 335?359.","journal-title":"No\u00fbs"},{"key":"CR20","unstructured":"Alasdair Urquhart, 1974, ?What Is Relevant Implication?, unpublished. Presented to the International Conference on Relevance Logic, St. Louis, 1974."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00431183.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00431183\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00431183","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T00:00:57Z","timestamp":1585958457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00431183"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,11]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1987,11]]}},"alternative-id":["BF00431183"],"URL":"https:\/\/doi.org\/10.1007\/bf00431183","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,11]]}}}