{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,18]],"date-time":"2024-07-18T11:17:05Z","timestamp":1721301425131},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1988,6,1]],"date-time":"1988-06-01T00:00:00Z","timestamp":581126400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1988,6]]},"DOI":"10.1007\/bf00370286","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T23:51:48Z","timestamp":1099439508000},"page":"111-127","source":"Crossref","is-referenced-by-count":12,"title":["A content semantics for quantified relevant logics. I"],"prefix":"10.1007","volume":"47","author":[{"given":"Ross T.","family":"Brady","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"A. R. Anderson and N. D. Belnap, Jr., Entailment, The Logic of Relevance and Necessity, Princeton U.P., 1975."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1305\/ndjfl\/1093870447","volume":"24","author":"R. T. Brady","year":"1983","unstructured":"R. T. Brady, The simple consistency of a set theory based on the logic CSQ, Notre Dame Journal of Formal Logic, Vol. 24 (1983), pp. 431?449.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF00935740","volume":"43","author":"R. T. Brady","year":"1984","unstructured":"R. T. Brady, Depth relevance of some paraconsistent logics, Studia Logica, Vol. 43 (1984), pp. 63?73.","journal-title":"Studia Logica"},{"key":"CR4","first-page":"355","volume":"27","author":"R. T. Brady","year":"1984","unstructured":"R. T. Brady, Natural deduction systems for some quantified relevant logics, Logique et Analyse, 27 An?ee, 1984, pp. 355?377.","journal-title":"Logique et Analyse"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"R. T. Brady, The non-triviality of dialectical set theory, in G. Priest, R. Routley and J. Norman (eds.), Paraconsistent Logic, Essays on the Inconsistent, Philosophia Verlag, forthcoming in 1989.","DOI":"10.2307\/j.ctv2x8v8c7.18"},{"key":"CR6","unstructured":"R. T. Brady, Universal Logic, in preparation."},{"key":"CR7","unstructured":"J. M. Dunn, The Algebra of Intensional Logics, Ph.D. Thesis, Uni. of Pittsburgh, 1966."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00257480","volume":"3","author":"K. Fine","year":"1974","unstructured":"K. Fine, Models for entailment, Journal of Philosophical Logic, Vol. 3 (1974), pp. 347?372.","journal-title":"Journal of Philosophical Logic"},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"K. Fine, Incompleteness of quantified relevance logics, in R. Sylvan (ed.), Directions in Relevant Logics, forthcoming in 1988.","DOI":"10.1007\/978-94-009-1005-8_16"},{"key":"CR10","unstructured":"K. Fine, Semantics for quantified relevance logic, typescript, 1985."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF02015377","volume":"16","author":"D. Gabbay","year":"1974","unstructured":"D. Gabbay, On 2nd order intuitionistic propositional calculus with full comprehension, Archiv f\ufffdr Mathematische Logik, Vol. 16 (1974), pp. 177?186.","journal-title":"Archiv f\ufffdr Mathematische Logik"},{"key":"CR12","volume-title":"Algebraic Logic","author":"P. Halmos","year":"1962","unstructured":"P. Halmos, Algebraic Logic, Chelsea, New York, 1962."},{"key":"CR13","unstructured":"L. Henkin, The completeness of the first-order functional calculus, in J. Hintikka (ed.), The Philosophy of Mathematics, Oxford U.P., 1969, pp. 51?63."},{"key":"CR14","unstructured":"L. Henkin, J. D. Monk and A. Tarski, Cylindrical Algebras, North-Holland, 1971."},{"key":"CR15","unstructured":"P. S. Lavers, Generating Intensional Logics, M. A. Thesis, University of Adelaide, 1985."},{"key":"CR16","first-page":"407","volume":"15","author":"R. K. Meyer","year":"1972","unstructured":"R. K. Meyer and R. Routley, Algebraic analysis of Entailment I, Logique et Analyse, Vol. 15 (1972), pp. 407?428.","journal-title":"Logique et Analyse"},{"key":"CR17","unstructured":"R. K. Meyer and R. Routley, Algebraic analysis of Entailment II, typescript, 1973."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1305\/ndjfl\/1093891202","volume":"15","author":"R. K. Meyer","year":"1974","unstructured":"R. K. Meyer, J. M. Dunn and H. Leblanc, Completeness of relevant quantification theories, Notre Dame Journal of Formal Logic, Vol. 15 (1974), pp. 97?121.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF00262864","volume":"9","author":"G. Priest","year":"1980","unstructured":"G. Priest, Sense, Entailment and Modus Porens, Journal of Philosophical Logic, Vol. 9 (1980), pp. 415?435.","journal-title":"Journal of Philosophical Logic"},{"key":"CR20","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Pa?stwowe Wydawnictwo Naukowe, Warsaw, 1963."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"R. Routley and R. K. Meyer, The semantics of entailment, in H. Leblanc (ed.), Truth, Syntax and Modality, North-Holland, 1973, pp. 199?243.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"key":"CR22","volume-title":"Relevant Logics and their Rivals, Vol. 1","author":"R. Routley","year":"1982","unstructured":"R. Routley, R. K. Meyer, V. Plumwood and R. T. Brady, Relevant Logics and their Rivals, Vol. 1, Ridgeview, California, 1982."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370286.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00370286\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00370286","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T21:52:08Z","timestamp":1682805128000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00370286"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,6]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1988,6]]}},"alternative-id":["BF00370286"],"URL":"https:\/\/doi.org\/10.1007\/bf00370286","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,6]]}}}