{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T13:12:49Z","timestamp":1778764369284,"version":"3.51.4"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T00:00:00Z","timestamp":1497916800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["658285 FOREMOTIONS"],"award-info":[{"award-number":["658285 FOREMOTIONS"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P 29716"],"award-info":[{"award-number":["P 29716"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10992-017-9438-x","type":"journal-article","created":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T05:22:56Z","timestamp":1497936176000},"page":"549-577","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Principles for Object-Linguistic Consequence: from Logical to Irreflexive"],"prefix":"10.1007","volume":"47","author":[{"given":"Carlo","family":"Nicolai","sequence":"first","affiliation":[]},{"given":"Lorenzo","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,6,20]]},"reference":[{"key":"9438_CR1","doi-asserted-by":"crossref","first-page":"143","DOI":"10.5840\/jphil2013110336","volume":"3","author":"JC Beall","year":"2013","unstructured":"Beall, J.C., & Murzi, J. (2013). Two Flavours of Curry\u2019s Paradox. Journal of Philosophy CX, 3, 143\u201365.","journal-title":"Journal of Philosophy CX"},{"key":"9438_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0168-0072(95)00007-4","volume":"7","author":"L Beklemishev","year":"1995","unstructured":"Beklemishev, L. (1995). Iterated reflection versus iterated consistency. Annals of Pure and Applied Logic, 7, 25\u201348.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9438_CR3","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1070\/RM2005v060n02ABEH000823","volume":"60","author":"L Beklemishev","year":"2005","unstructured":"Beklemishev, L. (2005). Reflection principles and provability algebras in formal arithmetic. Russian Mathematical Surveys, 60, 197\u2013268.","journal-title":"Russian Mathematical Surveys"},{"key":"9438_CR4","unstructured":"Burgess, J.P. (2014). Friedman and the Axiomatization of Kripke\u2019s Theory of Truth: In Tennant, N. (Ed. ) Foundational Adventures. Essays in Honour of Harvey Friedman. College Publications."},{"key":"9438_CR5","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11245-014-9241-z","volume":"34","author":"C Caret","year":"2015","unstructured":"Caret, C., & Weber, Z. (2015). A Note on Contraction-Free Logic for Validity. Topoi, 34, 63\u201374.","journal-title":"Topoi"},{"issue":"488","key":"9438_CR6","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2014","unstructured":"Cobreros, P., Egr\u00e9, P., Ripley, D., & van Rooij, R. (2014). Reaching transparent truth. Mind, 122(488), 841\u2013866.","journal-title":"Mind"},{"key":"9438_CR7","doi-asserted-by":"crossref","unstructured":"Cook, R. (2014). There is No Paradox of Logical Validity. Logica Universalis. published online 11 Jan 2014.","DOI":"10.1007\/s11787-014-0094-4"},{"key":"9438_CR8","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving truth from paradox","author":"H Field","year":"2008","unstructured":"Field, H. (2008). Saving truth from paradox. Oxford: Oxford University Press."},{"issue":"1","key":"9438_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1215\/00294527-3699865","volume":"58","author":"H Field","year":"2017","unstructured":"Field, H. (2017). Disarming a Paradox of Validity. Notre Dame Journal of Formal Logic, 58(1), 1\u201319.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9438_CR10","first-page":"5","volume":"3","author":"R French","year":"2016","unstructured":"French, R. (2016). Structural Reflexivity and the Paradoxes of Self-Reference. Ergo, 3, 5.","journal-title":"Ergo"},{"issue":"2","key":"9438_CR11","first-page":"115","volume":"38","author":"P Greenough","year":"2001","unstructured":"Greenough, P. (2001). Free Assumptions and the Liar Paradox. American Philosophical Quarterly, 38(2), 115\u2013135.","journal-title":"American Philosophical Quarterly"},{"key":"9438_CR12","volume-title":"Metamathematics of First-Order Arithmetic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P., & Pudl\u00e1k, P. (1998). Metamathematics of First-Order Arithmetic. Berlin: Springer."},{"key":"9438_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511921049","volume-title":"Axiomatic Theories of Truth","author":"V Halbach","year":"2011","unstructured":"Halbach, V. (2011). Axiomatic Theories of Truth. Cambridge: Cambridge University Press."},{"key":"9438_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9780262015868.001.0001","volume-title":"The Tarksian turn: deflationism and axiomatic truth","author":"L Horsten","year":"2011","unstructured":"Horsten, L. (2011). The Tarksian turn: deflationism and axiomatic truth. Cambridge: MIT Press."},{"issue":"3","key":"9438_CR15","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1093\/analys\/ans064","volume":"72","author":"J Ketland","year":"2012","unstructured":"Ketland, J. (2012). Validity as a primitive. Analysis, 72(3), 421\u2013430.","journal-title":"Analysis"},{"issue":"19","key":"9438_CR16","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S. (1975). Outline of a theory of truth. Journal of Philosophy, 72(19), 690\u2013716.","journal-title":"Journal of Philosophy"},{"key":"9438_CR17","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s10992-004-3758-3","volume":"34","author":"H Leitgeb","year":"2005","unstructured":"Leitgeb, H. (2005). What Truth Depends On. Journal of Philosophical Logic, 34, 155\u2013192.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9438_CR18","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/s10992-013-9268-4","volume":"43","author":"E Mares","year":"2014","unstructured":"Mares, E., & Paoli, F. (2014). Logical Consequence and the Paradoxes. Journal of Philosophical Logic, 43(2), 439\u2013469.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"9438_CR19","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1017\/S1755020311000037","volume":"4","author":"DA Martin","year":"2011","unstructured":"Martin, D.A. (2011). Field\u2019s Saving Truth from Paradox: Some Things It Doesn\u2019t Do. Review of Symbolic Logic, 4(3), 339\u2013347.","journal-title":"Review of Symbolic Logic"},{"issue":"227","key":"9438_CR20","first-page":"333","volume":"57","author":"T Meadows","year":"2014","unstructured":"Meadows, T. (2014). Fixed Points for Consequence Relations. Logique et Analyse, 57(227), 333\u2013357.","journal-title":"Logique et Analyse"},{"key":"9438_CR21","first-page":"153","volume":"16","author":"R Montague","year":"1963","unstructured":"Montague, R. (1963). Syntactical treatments of modality, with corollaries on reflection principles and finite axiomatizability. Acta Philosophica Fennica, 16, 153\u201367.","journal-title":"Acta Philosophica Fennica"},{"key":"9438_CR22","volume-title":"Elementary Induction on Abstract Structures","author":"YN Moschovakis","year":"1974","unstructured":"Moschovakis, Y.N. (1974). Elementary Induction on Abstract Structures. Amsterdam, London, New York: North-Holland and Elsevier."},{"key":"9438_CR23","doi-asserted-by":"crossref","unstructured":"Murzi, J., & Shapiro, L. (2015). Validity and Truth-Preservation: In Achourioti, T., Fujimoto, K., Galinon, H., Martinez-Fernandez, J. (Eds.) Unifying the Philosophy of Truth. Springer.","DOI":"10.1007\/978-94-017-9673-6_22"},{"key":"9438_CR24","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S Negri","year":"2001","unstructured":"Negri, S., & von Plato, J. (2001). Structural Proof Theory. Cambridge: Cambridge University Press."},{"key":"9438_CR25","unstructured":"Nicolai, C. (2016). On expressive power over arithmetic. Unpublished manuscript."},{"key":"9438_CR26","doi-asserted-by":"publisher","unstructured":"Nicolai, C. (2017). Equivalence for truth predicates, Review of Symbolic Logic. online first, doi:10.017\/S1755020316000435.","DOI":"10.1017\/S1755020316000435"},{"issue":"2","key":"9438_CR27","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BF00374033","volume":"XLII","author":"G Priest","year":"1982","unstructured":"Priest, G., & Routley, R. (1982). Lessons from Pseudo Scotus. Philosophical Studies, XLII(2), 189\u201399.","journal-title":"Philosophical Studies"},{"issue":"4","key":"9438_CR28","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/BF00486630","volume":"13","author":"WVO Quine","year":"1961","unstructured":"Quine, W.V.O. (1961). Reply to Professor Marcus. Synthese, 13(4), 323\u2013330.","journal-title":"Synthese"},{"issue":"2","key":"9438_CR29","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1017\/S1755020312000056","volume":"5","author":"D Ripley","year":"2012","unstructured":"Ripley, D. (2012). Conservatively Extending Classical Logic with Transparent Truth. Review of Symbolic Logic, 5(2), 354\u2013378.","journal-title":"Review of Symbolic Logic"},{"key":"9438_CR30","first-page":"299","volume":"2","author":"D Ripley","year":"2015","unstructured":"Ripley, D. (2015). Comparing Substructural Theories of Truth. Ergo, 2, 299\u2013328.","journal-title":"Ergo"},{"key":"9438_CR31","first-page":"203","volume-title":"Insolubles and Consequences: Essays in honour of Stephen Read","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P. (2012). Paradoxes and Structural Rules In Dutilh Novaes, C., & Hjortland, O. (Eds.), Insolubles and Consequences: Essays in honour of Stephen Read, (pp. 203\u2013211). London: College Publications."},{"key":"9438_CR32","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P. (2016). Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut. In Kahle, R., Strahm, T., Studer, T. (Eds.) Advances in Proof Theory: Birkh\u00e4user, 339\u2013351.","DOI":"10.1007\/978-3-319-29198-7_10"},{"key":"9438_CR33","volume-title":"Proofs and Computation","author":"H Schwichtenberg","year":"2012","unstructured":"Schwichtenberg, H., & Wainer, S.S. (2012). Proofs and Computation. Cambridge: Cambridge University Press."},{"issue":"243","key":"9438_CR34","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1111\/j.1467-9213.2010.678.x","volume":"LXI","author":"L Shapiro","year":"2011","unstructured":"Shapiro, L. (2011). Deflating Logical Consequence. The Philosophical Quarterly, LXI(243), 320\u201342.","journal-title":"The Philosophical Quarterly"},{"key":"9438_CR35","first-page":"238","volume":"60","author":"D Tajer","year":"2017","unstructured":"Tajer, D., & Pailos, F. (2017). Validity in a dialetheist framework. Logique et Analyse, 60, 238.","journal-title":"Logique et Analyse"},{"key":"9438_CR36","volume-title":"Undecidable Theories","author":"A Tarski","year":"1953","unstructured":"Tarski, A., Mostowski, A., & Robinson, R.M. (1953). Undecidable Theories. Amsterdam: North Holland."},{"key":"9438_CR37","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1093\/mind\/fzu179","volume":"124","author":"N Tennant","year":"2015","unstructured":"Tennant, N. (2015). A new unified account of truth and paradox. Mind, 124, 571\u2013605.","journal-title":"Mind"},{"key":"9438_CR38","unstructured":"Visser, A. (forthcoming). The interpretability of inconsistency. Feferman\u2019s theorem and related results, Forthcoming in the Bulletin of Symbolic Logic."},{"key":"9438_CR39","first-page":"320","volume":"LXI","author":"B Whittle","year":"2004","unstructured":"Whittle, B. (2004). Dialetheism, Logical Consequence and Hierarchy. Analysis, LXI, 320\u201342.","journal-title":"Analysis"},{"key":"9438_CR40","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF00302341","volume":"11","author":"S Yablo","year":"1982","unstructured":"Yablo, S. (1982). Grounding, Dependence, and Paradox. Journal of Philosophical Logic, 11, 117\u2013137.","journal-title":"Journal of Philosophical Logic"},{"issue":"4","key":"9438_CR41","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1017\/S1755020311000177","volume":"4","author":"E Zardini","year":"2011","unstructured":"Zardini, E. (2011). Truth without contra(di)ction. Review of Symbolic Logic, 4(4), 498\u2013535.","journal-title":"Review of Symbolic Logic"},{"key":"9438_CR42","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/s10992-012-9239-1","volume":"42","author":"E Zardini","year":"2013","unstructured":"Zardini, E. (2013). Naive Modus Ponens. Journal of Philosophical Logic, 42, 575\u2013593.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-017-9438-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-017-9438-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-017-9438-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:02:55Z","timestamp":1528790575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-017-9438-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,20]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["9438"],"URL":"https:\/\/doi.org\/10.1007\/s10992-017-9438-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,6,20]]}}}