{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:19:53Z","timestamp":1757312393841},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,6,1]],"date-time":"1989-06-01T00:00:00Z","timestamp":612662400000},"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":[[1989,6]]},"DOI":"10.1007\/bf02770515","type":"journal-article","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T05:03:42Z","timestamp":1196658222000},"page":"243-257","source":"Crossref","is-referenced-by-count":10,"title":["A content semantics for quantified relevant logics. II"],"prefix":"10.1007","volume":"48","author":[{"given":"Ross T.","family":"Brady","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02770515_CR1","unstructured":"R. T. Brady,Natural deduction systems for some quantified relevant logics,Logique et Analyse, 27 Ann\u00e9e, 1984, pp. 355\u2013377."},{"key":"BF02770515_CR2","unstructured":"R. T. Brady,Universal Logic, in preparation."},{"key":"BF02770515_CR3","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF02015377","volume":"16","author":"D. Gabray","year":"1974","unstructured":"D. Gabray,On 2nd order intuitionistic propositional calculus with full comprehension,Archiv f\u00fcr Mathematische Logik, Vol. 16 (1974), pp. 177\u2013186.","journal-title":"Archiv f\u00fcr Mathematische Logik"},{"key":"BF02770515_CR4","unstructured":"P. S. Lavers,Generating Intensional Logics, M. A. Thesis, University of Adelaide, 1985."},{"key":"BF02770515_CR5","volume-title":"Relevant Logics and their Rivals","author":"R. Routley","year":"1982","unstructured":"R. Routley, R. K. Meyer, V. Plumwood, R. T. Brady Relevant Logics and their Rivals, Vol. 1, Ridgeview, Calif., 1982."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02770515.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02770515\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02770515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T02:02:32Z","timestamp":1558404152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02770515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,6]]},"references-count":5,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989,6]]}},"alternative-id":["BF02770515"],"URL":"https:\/\/doi.org\/10.1007\/bf02770515","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,6]]}}}