{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T22:42:03Z","timestamp":1750459323930},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2010,3,24]],"date-time":"2010-03-24T00:00:00Z","timestamp":1269388800000},"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":[[2010,10]]},"DOI":"10.1007\/s10992-010-9129-3","type":"journal-article","created":{"date-parts":[[2010,3,23]],"date-time":"2010-03-23T11:37:08Z","timestamp":1269344228000},"page":"511-529","source":"Crossref","is-referenced-by-count":6,"title":["Free Semantics"],"prefix":"10.1007","volume":"39","author":[{"given":"Ross Thomas","family":"Brady","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,3,24]]},"reference":[{"key":"9129_CR1","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF00935740","volume":"43","author":"RT Brady","year":"1984","unstructured":"Brady, R. T. (1984). Depth relevance of some paraconsistent logics. Studia Logica, 43, 63\u201373.","journal-title":"Studia Logica"},{"key":"9129_CR2","doi-asserted-by":"crossref","first-page":"353","DOI":"10.2307\/2275666","volume":"61","author":"RT Brady","year":"1996","unstructured":"Brady, R. T. (1996). Gentzenizations of relevant logics without distribution\u2014I and\u2014II. The Journal of Symbolic Logic, 61, 353\u2013378, 379\u2013401.","journal-title":"The Journal of Symbolic Logic"},{"key":"9129_CR3","first-page":"113","volume-title":"Frontiers of paraconsistent logic","author":"RT Brady","year":"2000","unstructured":"Brady, R. T. (2000b). Entailment, negation and paradox solution. In D. Batens, C. Mortensen, G. Priest, & J.-P. van Bendegem (Eds.), Frontiers of paraconsistent logic (pp. 113\u2013135). Baldock: Research Studies."},{"key":"9129_CR4","unstructured":"Brady, R. T. (2003a). Relevant logics and their rivals, vol. 2: a continuation of the work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady (also ed.), Ashgate, Aldershot."},{"key":"9129_CR5","doi-asserted-by":"crossref","unstructured":"Brady, R. T. (2003b). Semantic decision procedures for some relevant logics. Australasian Journal of Logic, 1, 4\u201327.","DOI":"10.26686\/ajl.v1i0.1760"},{"key":"9129_CR6","unstructured":"Brady, R. T. (2003\u20134). Normalized natural deduction systems for some relevant logics\u2014II: Other logics and deductions. Part presented to the Australasian Association for Logic conferences at the Universities of Adelaide, 2003, and Otago, 2004."},{"key":"9129_CR7","unstructured":"Brady, R. T. (2002\u20135). Normalized natural deduction systems for some relevant logics\u2014III: modal and quantificational logics. Part presented to the Australasian Association for Logic conference at A.N.U., 2002, and to the World Congress on Universal Logic, Montreux, 2005."},{"key":"9129_CR8","unstructured":"Brady, R. T. (2006a). Universal Logic, CSLI Publications, Stanford."},{"key":"9129_CR9","doi-asserted-by":"crossref","first-page":"35","DOI":"10.2178\/jsl\/1140641162","volume":"71","author":"RT Brady","year":"2006","unstructured":"Brady, R. T. (2006b). Normalized natural deduction systems for some relevant logics I: the logic DW. The Journal of Symbolic Logic, 71, 35\u201366.","journal-title":"The Journal of Symbolic Logic"},{"key":"9129_CR10","unstructured":"Brady, R. T. & Meinander, A. (2008) Distribution in the logic of meaning containment and in quantum mechanics. Presented to the Australasian Association for Logic Conference at the University of Auckland and to the 4th World Congress in Paraconsistency at the University of Melbourne."},{"key":"9129_CR11","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00257480","volume":"3","author":"K Fine","year":"1974","unstructured":"Fine, K. (1974). Models for entailment. Journal of Philosophical Logic, 3, 347\u2013372.","journal-title":"Journal of Philosophical Logic"},{"key":"9129_CR12","doi-asserted-by":"crossref","first-page":"355","DOI":"10.5840\/monist197760316","volume":"60","author":"RK Meyer","year":"1977","unstructured":"Meyer, R. K., & Routley, R. (1977). Extensional reduction I. The Monist, 60, 355\u2013369.","journal-title":"The Monist"},{"key":"9129_CR13","unstructured":"Routley, R., Meyer, R. K., Plumwood, V., & Brady, R. T. (1982) Relevant logics and their rivals, Vol.1, Ridgeview."},{"key":"9129_CR14","first-page":"1142","volume":"56","author":"P Schroeder-Heister","year":"1991","unstructured":"Schroeder-Heister, P. (1991). Uniform proof-theoretic semantics for logical constants (abstract). The Journal of Symbolic Logic, 56, 1142.","journal-title":"The Journal of Symbolic Logic"},{"key":"9129_CR15","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1007\/s11229-004-6296-1","volume":"148","author":"P Schroeder-Heister","year":"2006","unstructured":"Schroeder-Heister, P. (2006). Validity concepts in proof-theoretic semantics. Synthese, 148, 525\u2013571.","journal-title":"Synthese"},{"key":"9129_CR16","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00935747","volume":"43","author":"JK Slaney","year":"1984","unstructured":"Slaney, J. K. (1984). A metacompleteness theorem for contraction-free relevant logics. Studia Logica, 43, 159\u2013168.","journal-title":"Studia Logica"},{"key":"9129_CR17","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1305\/ndjfl\/1093637560","volume":"28","author":"JK Slaney","year":"1987","unstructured":"Slaney, J. K. (1987). Reduced models for relevant logics without WI. Notre Dame Journal of Formal Logic, 28, 395\u2013407.","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9129-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-010-9129-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-010-9129-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:49Z","timestamp":1559352589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-010-9129-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,24]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,10]]}},"alternative-id":["9129"],"URL":"https:\/\/doi.org\/10.1007\/s10992-010-9129-3","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,24]]}}}