{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T23:10:04Z","timestamp":1710371404899},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Rev. symb. logic"],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p>This essay proposes a procedural interpretation of negative information in terms of split negation as procedural prohibition. Information frames and models are introduced, with negation defined as the implication of bottom,<jats:bold>0<\/jats:bold>. A method for extracting the procedures prohibited by complex formulas is outlined, and the relationship between types of prohibited procedures is identified. Definitions of negation types in terms of the implication of<jats:bold>0<\/jats:bold>on an informational interpretation have been criticized. This criticism turns on the definitions creating a purportedly unnatural asymmetry between positive and negative information. It is demonstrated below that a strong asymmetry between positive and negative information is in fact the case. As such, an asymmetry between positive and negative information is natural, and something that we should want an informational interpretation of negation to preserve.<\/jats:p>","DOI":"10.1017\/s1755020309090133","type":"journal-article","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T08:30:51Z","timestamp":1243499451000},"page":"233-248","source":"Crossref","is-referenced-by-count":4,"title":["DYNAMIC NEGATION AND NEGATIVE INFORMATION"],"prefix":"10.1017","volume":"2","author":[{"given":"SEBASTIAN","family":"SEQUOIAH-GRAYSON","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,3,1]]},"reference":[{"key":"S1755020309090133_ref7","doi-asserted-by":"publisher","DOI":"10.1023\/B:MIND.0000021684.50925.c9"},{"key":"S1755020309090133_ref15","first-page":"409","volume-title":"The Philosophy of Information and Logic, Synthese","volume":"167","author":"Sequoiah-Grayson","year":"2009"},{"key":"S1755020309090133_ref1","first-page":"29","article-title":"Non-commutative logic, I: The multiplicative fragment","author":"Abrusci","year":"2000","journal-title":"Annals of Pure and Applied Logic"},{"key":"S1755020309090133_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"S1755020309090133_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"S1755020309090133_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(64)50066-9"},{"key":"S1755020309090133_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121114"},{"key":"S1755020309090133_ref2","first-page":"1","volume-title":"Substructural Logics, Studies in Logic and Computation No. 2","volume":"101","author":"Dosen","year":"1993"},{"key":"S1755020309090133_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56734-8"},{"key":"S1755020309090133_ref3","volume-title":"Knowledge and the Flow of Information","author":"Dretske","year":"1981"},{"key":"S1755020309090133_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3179-9"},{"key":"S1755020309090133_ref4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/oso\/9780198537779.003.0004","volume-title":"Substructural Logics, Studies in Logic and Computation No. 2","author":"Dunn","year":"1993"},{"key":"S1755020309090133_ref5","first-page":"331","volume-title":"Philosophical Perspectives","volume":"7","author":"Dunn","year":"1994"},{"key":"S1755020309090133_ref6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1515\/9783110876802.3","volume-title":"Negation: A Notion in Focus","author":"Dunn","year":"1996"},{"key":"S1755020309090133_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11023-007-9072-4"},{"key":"S1755020309090133_ref12","first-page":"343","volume-title":"The Philosophy of Information and Logic, Synthese","volume":"167","author":"Mares","year":"2009"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020309090133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T22:51:56Z","timestamp":1710370316000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020309090133\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["S1755020309090133"],"URL":"https:\/\/doi.org\/10.1017\/s1755020309090133","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}