{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T11:10:08Z","timestamp":1777893008427,"version":"3.51.4"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T00:00:00Z","timestamp":1555891200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T00:00:00Z","timestamp":1555891200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"crossref","award":["DP150103801"],"award-info":[{"award-number":["DP150103801"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10992-019-09510-2","type":"journal-article","created":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T10:02:40Z","timestamp":1555927360000},"page":"1119-1144","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["Negation on the Australian Plan"],"prefix":"10.1007","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3246-657X","authenticated-orcid":false,"given":"Francesco","family":"Berto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Restall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,22]]},"reference":[{"key":"9510_CR1","unstructured":"Barwise, J., & Etchemendy, J. (1990). Information, infons, and inference. In Cooper, R., Mukai, K., Perry, J. (Eds.) Situation theory and its applications, (Vol. 1, number 22 pp. 33\u201378). Stanford."},{"key":"9510_CR2","unstructured":"Barwise, J., & Perry, J. (1983). Situations and attitudes. Bradford books. MIT Press."},{"key":"9510_CR3","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199268733.001.0001","volume-title":"Spandrels of truth","author":"JC Beall","year":"2009","unstructured":"Beall, J.C. (2009). Spandrels of truth. Oxford: Oxford University Press."},{"key":"9510_CR4","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1080\/00048400012349751","volume":"78","author":"JC Beall","year":"2000","unstructured":"Beall, J.C., & Restall, G. (2000). Logical pluralism. Australasian Journal of Philosophy, 78, 475\u2013493. http:\/\/consequently.org\/writing\/pluralism .","journal-title":"Australasian Journal of Philosophy"},{"key":"9510_CR5","volume-title":"Logical pluralism","author":"JC Beall","year":"2006","unstructured":"Beall, JC, & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press."},{"key":"9510_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1080\/00048400801886199","volume":"86","author":"F Berto","year":"2008","unstructured":"Berto, F. (2008). Adynaton and material exclusion. Australasian Journal of Philosophy, 86, 165\u201390.","journal-title":"Australasian Journal of Philosophy"},{"key":"9510_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1017\/S175502031400001X","volume":"7","author":"F Berto","year":"2014","unstructured":"Berto, F. (2014). Absolute contradiction, dialetheism, and revenge. Review of Symbolic Logic, 7, 193\u2013207.","journal-title":"Review of Symbolic Logic"},{"issue":"495","key":"9510_CR8","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1093\/mind\/fzv026","volume":"124","author":"F Berto","year":"2015","unstructured":"Berto, F. (2015). A modality called \u201cnegation\u201d. Mind, 124(495), 761\u2013793.","journal-title":"Mind"},{"issue":"4","key":"9510_CR9","doi-asserted-by":"publisher","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G Birkhoff","year":"1936","unstructured":"Birkhoff, G., & von Neumann, J. (1936). The logic of quantum mechanics. The Annals of Mathematics, 37(4), 823\u2013843. http:\/\/www.jstor.org\/stable\/1968621 .","journal-title":"The Annals of Mathematics"},{"key":"9510_CR10","unstructured":"Brandom, R.B. (1994). Making it explicit. Harvard University Press."},{"key":"9510_CR11","doi-asserted-by":"crossref","unstructured":"Brandom, R.B. (2000). Articulating reasons: an introduction to inferentialism. Harvard University Press. ISBN 0674001583.","DOI":"10.4159\/9780674028739"},{"issue":"2","key":"9510_CR12","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s10992-017-9427-0","volume":"47","author":"Michael De","year":"2017","unstructured":"De, M., & Omori, H. (2017). There is more to negation than modality. Journal of Philosophical Logic, 1\u201319. ISSN 1573-0433, https:\/\/doi.org\/10.1007\/s10992-017-9427-0 .","journal-title":"Journal of Philosophical Logic"},{"key":"9510_CR13","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11225-005-8470-y","volume":"80","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., & Zhou, C. (2005). Negation in the context of gaggle theory. Studia Logica, 80, 235\u201364.","journal-title":"Studia Logica"},{"key":"9510_CR14","unstructured":"Dunn, J.M. (1993). Partial-gaggles applied to logics with restricted structural rules. In Schroeder-Heister, P., & Do\u0161en, K. (Eds.) Substructural logics: Oxford University Press."},{"key":"9510_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.2307\/2214128","volume":"7","author":"J. Michael Dunn","year":"1993","unstructured":"Dunn, J.M. (1994). Star and perp: two treatments of negation. In Tomberlin, J.E. (Ed.) Philosophical perspectives. http:\/\/www.jstor.org\/stable\/2214128 , (Vol. 7 pp. 331\u2013357). Atascadero: Ridgeview Publishing Company.","journal-title":"Philosophical Perspectives"},{"key":"9510_CR16","unstructured":"Dunn, J.M. (1996). Generalised ortho negation. In Wansing, H. (Ed.) Negation: a notion in focus (pp. 3\u201326). Berlin: Walter de Gruyter."},{"key":"9510_CR17","unstructured":"Novaes, C.D. (2007). Contradiction: the real philosophical challenge for paraconsistent logic. In B\u00e9ziau, J.Y., Carnielli, W., Gabbay, D. (Eds.) Handbook of paraconsistency (pp. 477\u201392). London: College Publications."},{"key":"9510_CR18","doi-asserted-by":"crossref","unstructured":"Fine, K. (2009). The question of ontology. In Chalmers, D., Manley, D., Wasserman, R. (Eds.) Metametaphysics (pp. 157\u201377). Clarendon.","DOI":"10.1093\/oso\/9780199546046.003.0005"},{"issue":"2","key":"9510_CR19","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"Melvin Fitting","year":"1991","unstructured":"Fitting, M. (1991). Bilattices and the semantics of logic programming. ISSN 0743-1066, (Vol. 11 pp. 91\u2013116), DOI https:\/\/doi.org\/10.1016\/0743-1066(91)90014-G , http:\/\/www.sciencedirect.com\/science\/article\/pii\/074310669190014G .","journal-title":"The Journal of Logic Programming"},{"issue":"1\u20132","key":"9510_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF00652069","volume":"3","author":"R Goldblatt","year":"1974","unstructured":"Goldblatt, R. (1974). Semantic analysis of orthologic. The Journal of Philosophical Logic, 3(1\u20132), 19\u201335. https:\/\/doi.org\/10.1007\/BF00652069 . Reprinted as Chapter 3 of Mathematics of Modality, Robert Goldblatt. Mathematics of Modality. Number 43 in CSLI Lecture Notes. CSLI Publications, 1993. http:\/\/standish.stanford.edu\/bin\/detail?fileID=458253745 .","journal-title":"The Journal of Philosophical Logic"},{"key":"9510_CR21","unstructured":"Grim, P. (2004). What is a contradiction? In Priest, G., Beall, J.C., Armour-Garb, B. (Eds.) The law of non-contradiction (pp. 49\u201372). Clarendon."},{"issue":"4","key":"9510_CR22","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1080\/00048402.2016.1277771","volume":"95","author":"L Incurvati","year":"2017","unstructured":"Incurvati, L., & Schl\u00f6der, J.J. (2017). Weak rejection. Australasian Journal of Philosophy, 95(4), 741\u2013760. https:\/\/doi.org\/10.1080\/00048402.2016.1277771 .","journal-title":"Australasian Journal of Philosophy"},{"key":"9510_CR23","unstructured":"Kripke, S. (1965). Semantical analysis of intuitionistic logic. In Crossley, J., & Dummett, M.A.E. (Eds.) Formal Systems and Recursive Functions (pp. 92\u2013130). Amsterdam: North-Holland Publishing."},{"key":"9510_CR24","volume-title":"Naming and necessity","author":"S Kripke","year":"1980","unstructured":"Kripke, S. (1980). Naming and necessity. Oxford: Blackwell."},{"key":"9510_CR25","volume-title":"Counterfactuals","author":"DK Lewis","year":"1973","unstructured":"Lewis, D.K. (1973). Counterfactuals. Oxford: Blackwell."},{"key":"9510_CR26","doi-asserted-by":"publisher","first-page":"579","DOI":"10.2307\/2275852","volume":"60","author":"ED Mares","year":"1995","unstructured":"Mares, E.D. (1995). A star-free semantics for R. Journal of Symbolic Logic, 60, 579\u2013590.","journal-title":"Journal of Symbolic Logic"},{"key":"9510_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511520006","volume-title":"Relevant logic. A philosophical interpretation","author":"ED Mares","year":"2004","unstructured":"Mares, E.D. (2004). Relevant logic. A philosophical interpretation. Cambridge: Cambridge University press."},{"issue":"3","key":"9510_CR28","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF00248574","volume":"15","author":"RK Meyer","year":"1986","unstructured":"Meyer, R.K., & Martin, E.P. (1986). Logic on the australian plan. The Journal of Philosophical Logic, 15(3), 305\u2013332. https:\/\/doi.org\/10.1007\/BF00248574 .","journal-title":"The Journal of Philosophical Logic"},{"key":"9510_CR29","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1093\/mind\/XCIX.394.221","volume":"99","author":"H Price","year":"1990","unstructured":"Price, H. (1990). Why \u2018not\u2019? Mind, 99, 221\u201338.","journal-title":"Mind"},{"key":"9510_CR30","doi-asserted-by":"crossref","unstructured":"Priest, G. (2008). An introduction to non-classical logic, 2nd edn. Vol. 2008. Cambridge: Cambridge University Press.","DOI":"10.1017\/CBO9780511801174"},{"key":"9510_CR31","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF01048529","volume":"24","author":"G Restall","year":"1993","unstructured":"Restall, G. (1993). Four-valued semantics for relevant logics (and some of their rivals). Journal of Philosophical Logic, 24, 139\u201369.","journal-title":"Journal of Philosophical Logic"},{"key":"9510_CR32","unstructured":"Restall, G. (1995). Information flow and relevant logics. In Seligman, J., & Westerst\u00e5hl, D. (Eds.) Logic, language and computation: the 1994 Moraga proceedings (pp. 463\u2013477)."},{"key":"9510_CR33","unstructured":"Restall, G. (1999). Negation in relevant logics (how i stopped worrying and learned to love the Routley star). In Gabbay, D., & Wansing, H. (Eds.) What is negation? (pp. 53\u201376). Dordrecht: Kluwer."},{"key":"9510_CR34","doi-asserted-by":"crossref","unstructured":"Restall, G. (2000). An introduction to substructural logics. Routledge.","DOI":"10.4324\/9780203252642"},{"issue":"6","key":"9510_CR35","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1093\/jigpal\/8.6.853","volume":"8","author":"G Restall","year":"2000","unstructured":"Restall, G. (2000). Defining double negation elimination. The Logic Journal of the IGPL, 8(6), 853\u2013860. http:\/\/jigpal.oxfordjournals.org\/cgi\/content\/abstract\/8\/6\/853 .","journal-title":"The Logic Journal of the IGPL"},{"key":"9510_CR36","unstructured":"Restall, G. (2005). Multiple conclusions. In H\u00e1jek, P., Vald\u00e9s-Villanueva, L., Westerst\u00e5hl, D. (Eds.) Logic, methodology and philosophy of science: proceedings of the twelfth international congress (pp. 189\u2013205): KCL Publications. http:\/\/consequently.org\/writing\/multipleconclusions ."},{"issue":"2","key":"9510_CR37","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11225-009-9197-y","volume":"92","author":"G Restall","year":"2009","unstructured":"Restall, G. (2009). Truth values and proof theory. Studia Logica, 92(2), 241\u2013264. http:\/\/consequently.org\/writing\/tvpt\/ .","journal-title":"Studia Logica"},{"issue":"1","key":"9510_CR38","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1080\/00048402.2011.630010","volume":"91","author":"D Ripley","year":"2013","unstructured":"Ripley, D. (2013). Paradoxes and failures of cut. Australasian Journal of Philosophy, 91(1), 139\u2013164. https:\/\/doi.org\/10.1080\/00048402.2011.630010 .","journal-title":"Australasian Journal of Philosophy"},{"key":"9510_CR39","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/BF00649991","volume":"1","author":"R Routley","year":"1972","unstructured":"Routley, R., & Meyer, R.K. (1972). The semantics of entailment II. Journal of Philosophical Logic, 1, 53\u201373.","journal-title":"Journal of Philosophical Logic"},{"key":"9510_CR40","doi-asserted-by":"crossref","unstructured":"Routley, R., & Meyer, R.K. (1973). The semantics of entailment I. In Leblanc, H. (Ed.) Truth, syntax, and semantics (pp. 194\u2013243). North-Holland.","DOI":"10.1016\/S0049-237X(08)71541-6"},{"issue":"1\u20132","key":"9510_CR41","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/BF00935746","volume":"43","author":"R Routley","year":"1984","unstructured":"Routley, R. (1984). The American plan completed: alternative classical-style semantics, without stars, for relevant and paraconsistent logics. Studia Logica, 43(1\u20132), 131\u2013158. https:\/\/doi.org\/10.1007\/BF00935746 .","journal-title":"Studia Logica"},{"issue":"4","key":"9510_CR42","doi-asserted-by":"publisher","first-page":"335","DOI":"10.2307\/2214309","volume":"6","author":"R Routley","year":"1972","unstructured":"Routley, R., & Routley, V. (1972). Semantics of first degree entailment. No\u00fbs, 6(4), 335\u2013359. http:\/\/www.jstor.org\/stable\/2214309 .","journal-title":"No\u00fbs"},{"key":"9510_CR43","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-94-009-9117-0_2","volume-title":"IFS","author":"Robert C. Stalnaker","year":"1968","unstructured":"Stalnaker, R. (1968). A theory of conditionals. In Rescher, N. (Ed.) Studies in logical theory (pp. 98\u2013112). Oxford: Blackwell."},{"key":"9510_CR44","doi-asserted-by":"publisher","first-page":"32","DOI":"10.26686\/ajl.v7i0.1806","volume":"7","author":"T Tahko","year":"2009","unstructured":"Tahko, T. (2009). The law of non-contradiction as a metaphysical principle. Australasian Journal of Logic, 7, 32\u201347.","journal-title":"Australasian Journal of Logic"},{"key":"9510_CR45","unstructured":"Tennant, N. (1999). Negation, absurdity and contrariety. In Gabbay, D., & Wansing, H. (Eds.) What Is negation? (pp. 199\u2013222). Dordrecht: Kluwer."},{"issue":"396","key":"9510_CR46","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1093\/mind\/XCIX.396.535","volume":"XCIX","author":"M Tye","year":"1990","unstructured":"Tye, M. (1990). Vague objects. Mind, XCIX(396), 535. https:\/\/doi.org\/10.1093\/mind\/XCIX.396.535 .","journal-title":"Mind"},{"key":"9510_CR47","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1002\/9781405164801.ch18","volume-title":"The Blackwell Guide to Philosophical Logic","author":"Heinrich Wansing","year":"2017","unstructured":"Wansing, H. (2001). Negation. In Goble, L. (Ed.) The Blackwell guide to philosophical logic (pp. 415\u201336). Oxford: Blackwell."},{"issue":"2-3","key":"9510_CR48","doi-asserted-by":"publisher","first-page":"341","DOI":"10.3166\/jancl.18.341-364","volume":"18","author":"H Wansing","year":"2008","unstructured":"Wansing, H. (2008). Constructive negation, implication, and co-implication. Journal of Applied Non-Classical Logics, 18(2-3), 341\u2013364.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9510_CR49","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511612756","volume-title":"Sameness and substance renewed","author":"D Wiggins","year":"2001","unstructured":"Wiggins, D. (2001). Sameness and substance renewed. Cambridge: Cambridge University Press."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-019-09510-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-019-09510-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-019-09510-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,17]],"date-time":"2024-07-17T04:05:40Z","timestamp":1721189140000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-019-09510-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,22]]},"references-count":49,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["9510"],"URL":"https:\/\/doi.org\/10.1007\/s10992-019-09510-2","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,22]]},"assertion":[{"value":"25 November 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 March 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 April 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}