{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T22:26:20Z","timestamp":1775341580738,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T00:00:00Z","timestamp":1661126400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T00:00:00Z","timestamp":1661126400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["20-05180X"],"award-info":[{"award-number":["20-05180X"]}],"id":[{"id":"10.13039\/501100001824","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":[[2023,2]]},"DOI":"10.1007\/s10992-022-09673-5","type":"journal-article","created":{"date-parts":[[2022,8,22]],"date-time":"2022-08-22T12:09:12Z","timestamp":1661170152000},"page":"313-343","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["The Laws of Thought and the Laws of Truth as Two Sides of One Coin"],"prefix":"10.1007","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5072-9380","authenticated-orcid":false,"given":"Ulf","family":"Hlobil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,8,22]]},"reference":[{"key":"9673_CR1","unstructured":"Frege, G. (2009). Grundgesetze der Arithmetik: Begriffsschriftlich Abgeleitet (Band I und II). Paderborn: Mentis."},{"key":"9673_CR2","doi-asserted-by":"crossref","unstructured":"Restall, G. (2015). Assertion, denial, acceptance, rejection, symmetry, and paradox. In C.R. Caret O.T. Hjortland (Eds.) Foundations of logical consequence (pp. 310\u2013321). Oxford: Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780198715696.003.0011"},{"key":"9673_CR3","doi-asserted-by":"crossref","unstructured":"Restall, G. (2013). Assertion, denial and non-classical theories. In F. Berto, E. Mares, K. Tanaka, & F. Paoli (Eds.) Paraconsistency: Logic and applications (pp. 81\u201399). Dodrecht: Springer.","DOI":"10.1007\/978-94-007-4438-7_6"},{"issue":"2","key":"9673_CR4","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.","journal-title":"Studia Logica"},{"key":"9673_CR5","unstructured":"Restall, G. (2005). Multiple conclusions. In P. H\u00e1jek, L. Vald\u00e9s-Villanueva, & D. Westerstaahl (Eds.) Logic, Methodology and Philosophy of Science. London: College Publications."},{"issue":"1","key":"9673_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s11245-014-9261-8","volume":"34","author":"D Ripley","year":"2015","unstructured":"Ripley, D. (2015). Anything goes. Topoi, 34(1), 25\u201336.","journal-title":"Topoi"},{"issue":"1","key":"9673_CR7","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.","journal-title":"Australasian Journal of Philosophy"},{"issue":"6","key":"9673_CR8","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/s10992-016-9413-y","volume":"46","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017). A theory of truthmaker content I: Conjunction, disjunction and negation. Journal of Philosophical Logic, 46(6), 625\u2013674. https:\/\/doi.org\/10.1007\/s10992-016-9413-y.","journal-title":"Journal of Philosophical Logic"},{"issue":"2-3","key":"9673_CR9","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s10992-013-9281-7","volume":"43","author":"K Fine","year":"2014","unstructured":"Fine, K. (2014). Truth-maker semantics for intuitionistic logic. Journal of Philosophical Logic, 43(2-3), 549\u2013577. https:\/\/doi.org\/10.1007\/s10992-013-9281-7.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9673_CR10","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1111\/phpr.12707","volume":"103","author":"U Hlobil","year":"2021","unstructured":"Hlobil, U. (2021). Limits of abductivism about logic. Philosophy and Phenomenological Research, 103(2), 320\u2013340. https:\/\/doi.org\/10.1111\/phpr.12707.","journal-title":"Philosophy and Phenomenological Research"},{"key":"9673_CR11","doi-asserted-by":"crossref","unstructured":"Fine, K. (2017). Truthmaker semantics. In B.H.C. Wright A. Miller (Eds.) A Companion to the Philosophy of Language vol. 2 (pp. 556\u2013577). New York: Wiley Blackwell.","DOI":"10.1002\/9781118972090.ch22"},{"key":"9673_CR12","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198823810.001.0001","volume-title":"What Truth Is","author":"M Jago","year":"2018","unstructured":"Jago, M. (2018). What Truth Is. Oxford: Oxford University Press."},{"issue":"1","key":"9673_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y Girard","year":"1987","unstructured":"Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science, 50(1), 1\u2013101. https:\/\/doi.org\/10.1016\/0304-3975(87)90045-4.","journal-title":"Theoretical Computer Science"},{"key":"9673_CR14","doi-asserted-by":"publisher","unstructured":"Fine, K., & Jago, M. (2018). Logic for exact entailment. Review of Symbolic Logic, 1\u201321. https:\/\/doi.org\/10.1017\/s1755020318000151.","DOI":"10.1017\/s1755020318000151"},{"issue":"6","key":"9673_CR15","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/s10992-016-9419-5","volume":"46","author":"K Fine","year":"2017","unstructured":"Fine, K. (2017). A theory of truthmaker content II: Subject-matter, common content, remainder and ground. Journal of Philosophical Logic, 46(6), 675\u2013702. https:\/\/doi.org\/10.1007\/s10992-016-9419-5.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9673_CR16","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","volume":"45","author":"K Fine","year":"2016","unstructured":"Fine, K. (2016). Angellic content. Journal of Philosophical Logic, 45(2), 199\u2013226. https:\/\/doi.org\/10.1007\/s10992-015-9371-9.","journal-title":"Journal of Philosophical Logic"},{"key":"9673_CR17","doi-asserted-by":"publisher","DOI":"10.4159\/9780674239067","volume-title":"A Spirit of Trust: A Reading of Hegel\u2019s Phenomenology","author":"RB Brandom","year":"2019","unstructured":"Brandom, R.B. (2019). A Spirit of Trust: A Reading of Hegel\u2019s Phenomenology. Harvard: Harvard University Press."},{"key":"9673_CR18","unstructured":"Majer, O., Pun\u010doch\u00e1\u0159, V., & Sedl\u00e1r, I. (2021). Truth-maker semantics for some substructural logics. In F. Faroldi F.V.D. Putte (Eds.) Outstanding contributions to logic: Kit Fine. Dodrecht: Springer."},{"issue":"4","key":"9673_CR19","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1007\/s10992-019-09533-9","volume":"49","author":"M Jago","year":"2020","unstructured":"Jago, M. (2020). Truthmaker semantics for relevant logic. Journal of Philosophical Logic, 49(4), 681\u2013702. https:\/\/doi.org\/10.1007\/s10992-019-09533-9.","journal-title":"Journal of Philosophical Logic"},{"issue":"6","key":"9673_CR20","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.1007\/s10992-020-09560-x","volume":"49","author":"P Cobreros","year":"2020","unstructured":"Cobreros, P., Egr\u00e9, P., Ripley, D., & van Rooij, R. (2020). Inferences and metainferences in ST. Journal of Philosophical Logic, 49(6), 1057\u20131077. https:\/\/doi.org\/10.1007\/s10992-020-09560-x.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9673_CR21","doi-asserted-by":"publisher","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"},{"issue":"488","key":"9673_CR22","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2013","unstructured":"Cobreros, P., \u00c9gr\u00e9, P., Ripley, D., & van Rooij, R. (2013). Reaching transparent truth. Mind, 122(488), 841\u2013866. https:\/\/doi.org\/10.1093\/mind\/fzt110.","journal-title":"Mind"},{"issue":"2","key":"9673_CR23","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","volume":"41","author":"P Cobreros","year":"2012","unstructured":"Cobreros, P., Egr\u0117, P., Ripley, D., & van Rooij, R. (2012). Tolerant, classical, strict. Journal of Philosophical Logic, 41(2), 347\u2013385.","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"9673_CR24","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10992-014-9342-6","volume":"44","author":"EA Barrio","year":"2015","unstructured":"Barrio, E. A., Rosenblatt, L., & Tajer, D. (2015). The logics of strict-tolerant logic. Journal of Philosophical Logic, 44(5), 551\u2013571.","journal-title":"Journal of Philosophical Logic"},{"key":"9673_CR25","doi-asserted-by":"crossref","unstructured":"Dicher, B., & Paoli, F. (2019). ST, LP and tolerant metainferences. In C. Bakent T.M. Ferguson (Eds.) Graham Priest on Dialetheism and Paraconsistency (pp. 383\u2013407). Cham: Springer.","DOI":"10.1007\/978-3-030-25365-3_18"},{"key":"9673_CR26","doi-asserted-by":"publisher","unstructured":"French, R. (2016). Structural reflexivity and the paradoxes of self-reference, Vol. 3. https:\/\/doi.org\/10.3998\/ergo.12405314.0003.005.","DOI":"10.3998\/ergo.12405314.0003.005"},{"key":"9673_CR27","unstructured":"Hlobil, U. (2016). A nonmonotonic sequent calculus for inferentialist expressivists. In P. Arazim M. Dan\u00e1k (Eds.) The logica yearbook 2015, pp. 87\u2013105. College publications."},{"key":"9673_CR28","unstructured":"Hlobil, U. (2018). Choosing your nonmonotonic logic: a shopper\u2019s guide. In P. Arazim T L\u00e1vika (Eds.). The logica yearbook 2017 (pp. 109\u2013123). London: College Publications."},{"issue":"1","key":"9673_CR29","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1017\/S1755020315000258","volume":"9","author":"F Correia","year":"2016","unstructured":"Correia, F. (2016). On the logic of factual equivalence. Review of Symbolic Logic, 9(1), 103\u2013122. https:\/\/doi.org\/10.1017\/s1755020315000258.","journal-title":"Review of Symbolic Logic"},{"key":"9673_CR30","doi-asserted-by":"crossref","unstructured":"Angell, R. B. (1989). Deducibility, entailment and analytic containment. In R.J. Norman Sylvan (Eds.) Directions in relevant logic vol. 42 (pp. 119\u2013143). Dordrecht: Kluwer Academic Publishers.","DOI":"10.1007\/978-94-009-1005-8_8"},{"key":"9673_CR31","first-page":"147","volume":"42","author":"RB Angell","year":"1977","unstructured":"Angell, R. B. (1977). Three systems of first degree entailment. Journal of Symbolic Logic, 42, 147.","journal-title":"Journal of Symbolic Logic"},{"issue":"11","key":"9673_CR32","doi-asserted-by":"publisher","first-page":"1611","DOI":"10.1016\/j.apal.2011.12.012","volume":"163","author":"G Restall","year":"2012","unstructured":"Restall, G. (2012). A cut-free sequent system for two-dimensional modal logic, and why it matters. Annals of Pure and Applied Logic, 163(11), 1611\u20131623. https:\/\/doi.org\/10.1016\/j.apal.2011.12.012.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9673_CR33","doi-asserted-by":"publisher","unstructured":"Parisi, A. (2021). A hypersequent solution to the inferentialist problem of modality. Erkenntnis, 1\u201329. https:\/\/doi.org\/10.1007\/s10670-020-00264-x.","DOI":"10.1007\/s10670-020-00264-x"},{"issue":"4","key":"9673_CR34","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1215\/00294527-2798700","volume":"55","author":"OT Hjortland","year":"2014","unstructured":"Hjortland, O.T. (2014). Speech acts, categoricity, and the meanings of logical connectives. Notre Dame Journal of Formal Logic, 55(4), 445\u2013467. https:\/\/doi.org\/10.1215\/00294527-2798700.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2","key":"9673_CR35","doi-asserted-by":"publisher","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. https:\/\/doi.org\/10.1017\/s1755020312000056.","journal-title":"Review of Symbolic Logic"},{"key":"9673_CR36","doi-asserted-by":"publisher","unstructured":"Fine, K. (2018). Compliance and command I: Categorical imperatives. 11(4), 609\u2013633. https:\/\/doi.org\/10.1017\/S175502031700020X.","DOI":"10.1017\/S175502031700020X"},{"key":"9673_CR37","doi-asserted-by":"publisher","unstructured":"Fine, K. (2018). Compliance and command II: Imperatives and deontics. 11(4), 634\u2013664. https:\/\/doi.org\/10.1017\/S1755020318000059.","DOI":"10.1017\/S1755020318000059"},{"key":"9673_CR38","doi-asserted-by":"publisher","unstructured":"Fine, K. (2018). Truthmaking and the is-ought gap. 198(2), 887\u2013914. https:\/\/doi.org\/10.1007\/s11229-018-01996-8 .","DOI":"10.1007\/s11229-018-01996-8"},{"key":"9673_CR39","doi-asserted-by":"publisher","unstructured":"Fine, K. (2021). Verisimilitude and truthmaking. Erkenntnis, 1\u201338. https:\/\/doi.org\/10.1007\/s10670-019-00152-z .","DOI":"10.1007\/s10670-019-00152-z"},{"issue":"3","key":"9673_CR40","doi-asserted-by":"publisher","first-page":"221","DOI":"10.5840\/jphil201210938","volume":"109","author":"K Fine","year":"2012","unstructured":"Fine, K. (2012). Counterfactuals without possible worlds. Journal of Philosophy, 109(3), 221\u2013246. https:\/\/doi.org\/10.5840\/jphil201210938.","journal-title":"Journal of Philosophy"},{"key":"9673_CR41","unstructured":"Takeuti, G. (1987). Proof Theory, 2nd edn. Amsterdam: North-Holland."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09673-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-022-09673-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-022-09673-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T12:50:18Z","timestamp":1674910218000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-022-09673-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,22]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["9673"],"URL":"https:\/\/doi.org\/10.1007\/s10992-022-09673-5","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8,22]]},"assertion":[{"value":"5 October 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 August 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}