{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T03:51:22Z","timestamp":1768017082969,"version":"3.49.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T00:00:00Z","timestamp":1746576000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T00:00:00Z","timestamp":1746576000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["UMO-2017\/25\/B\/HS1\/00503"],"award-info":[{"award-number":["UMO-2017\/25\/B\/HS1\/00503"]}],"id":[{"id":"10.13039\/501100004281","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":[[2025,6]]},"DOI":"10.1007\/s10992-025-09795-6","type":"journal-article","created":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T04:02:17Z","timestamp":1746590537000},"page":"575-620","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Non-Fregean World of Logics"],"prefix":"10.1007","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8546-2615","authenticated-orcid":false,"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,5,7]]},"reference":[{"key":"9795_CR1","doi-asserted-by":"crossref","unstructured":"Suszko, R. (1975). Abolition of the Fregean axiom. In R. Parikh (Ed.), Logic colloquium. Lecture Notes in Mathematics (Vol. 453, pp. 169\u2013239).","DOI":"10.1007\/BFb0064874"},{"key":"9795_CR2","first-page":"105","volume":"11","author":"R Suszko","year":"1968","unstructured":"Suszko, R. (1968). Non-Fregean logic and theories. Analele Universitatii Bucuresti, Acta Logica, 11, 105\u2013125.","journal-title":"Analele Universitatii Bucuresti, Acta Logica"},{"key":"9795_CR3","unstructured":"Goli\u0144ska-Pilarek, J. (2022). Panorama zdaniowych logik niefregowskich. In D. Leszczy\u0144ska-Jasion, S. Chlebowski, A. Tomczyk, & A. Zakosztowicz (Eds.), J\u0119zyk \u2013 Struktura \u2013 Ontologia. Pami\u0119ci Romana Suszki (pp. 19\u201388). Poland: Adam Mickiewicz University Pozna\u0144."},{"key":"9795_CR4","unstructured":"Kocurek, A. W. (2018). What can you say? Measuring the expressive power of languages. Berkeley: PhD thesis, University of California."},{"issue":"1","key":"9795_CR5","first-page":"30","volume":"3","author":"T Prucnal","year":"1974","unstructured":"Prucnal, T., & Wro\u0144ski, A. (1974). An algebraic characterization of the notion of structural completeness. Bulletin of the Section of Logic, 3(1), 30\u201333.","journal-title":"Bulletin of the Section of Logic"},{"issue":"2\/3","key":"9795_CR6","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/BF00370843","volume":"57","author":"B Herrmann","year":"1996","unstructured":"Herrmann, B. (1996). Equivalential and algebraizable logics. Studia Logica, 57(2\/3), 419\u2013436.","journal-title":"Studia Logica"},{"key":"9795_CR7","doi-asserted-by":"crossref","unstructured":"Czelakowski, J. (2001). Protoalgebraic Logics. Kluwer: Springer Dordrecht.","DOI":"10.1007\/978-94-017-2807-2"},{"issue":"4","key":"9795_CR8","first-page":"445","volume":"47","author":"A Grzegorczyk","year":"2012","unstructured":"Grzegorczyk, A. (2012). Filozofia logiki i formalna logika niesymplifikacyjna. Zagadnienia Naukoznawstwa, 47(4), 445\u2013450.","journal-title":"Zagadnienia Naukoznawstwa"},{"key":"9795_CR9","first-page":"63","volume":"40","author":"J Goli\u0144ska-Pilarek","year":"2012","unstructured":"Goli\u0144ska-Pilarek, J., & Huuskonen, T. (2012). Logic of descriptions. A new approach to the foundations of mathematics and science. Studies in Logic, Grammar and Rhetoric, 40, 63\u201394.","journal-title":"Studies in Logic, Grammar and Rhetoric"},{"key":"9795_CR10","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-319-58507-9_12","volume-title":"Applications of Formal Philosophy","author":"J Goli\u0144ska-Pilarek","year":"2017","unstructured":"Goli\u0144ska-Pilarek, J., & Huuskonen, T. (2017). Grzegorczyk\u2019s non-Fregean logics and their formal properties. In R. Urbaniak & G. Payette (Eds.), Applications of Formal Philosophy (pp. 243\u2013263). Switzerland: Springer."},{"key":"9795_CR11","doi-asserted-by":"crossref","unstructured":"Goli\u0144ska-Pilarek, J., & Huuskonen, T. (2018). A mystery of Grzegorczyk\u2019s logic of descriptions. In A. Garrido, & U. Wybraniec-Skardowska (Eds.), The Lvov-Warsaw School. Past and Present. Studies in Universal Logic (pp. 731\u2013745). Birkhauser Cham: Springer.","DOI":"10.1007\/978-3-319-65430-0_51"},{"key":"9795_CR12","unstructured":"Ishii, T. (2000). Nonclassical logics with identity connective and their algebraic characterization. PhD thesis, Japan Advanced Institute of Science and Technology."},{"issue":"3","key":"9795_CR13","first-page":"92","volume":"19","author":"P \u0141ukowski","year":"1990","unstructured":"\u0141ukowski, P. (1990). Intuitionistic sentential calculus with identity. Bulletin of the Section of Logic, 19(3), 92\u201399.","journal-title":"Bulletin of the Section of Logic"},{"issue":"2","key":"9795_CR14","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s10992-004-6366-3","volume":"34","author":"J Goli\u0144ska-Pilarek","year":"2005","unstructured":"Goli\u0144ska-Pilarek, J., & Huuskonen, T. (2005). Number of extensions of non-Fregean logics. Journal of Philosophical Logic, 34(2), 193\u2013206.","journal-title":"Journal of Philosophical Logic"},{"issue":"5","key":"9795_CR15","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1002\/malq.200510042","volume":"52","author":"J Goli\u0144ska-Pilarek","year":"2006","unstructured":"Goli\u0144ska-Pilarek, J. (2006). Number of non-Fregean sentential logics that have adequate models. Mathematical Logic Quarterly, 52(5), 439\u2013443.","journal-title":"Mathematical Logic Quarterly"},{"key":"9795_CR16","unstructured":"Wittgenstein, L. (1922). Tractatus Logico-Philosophicus. London: Routledge, 1981, London."},{"issue":"3","key":"9795_CR17","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1305\/ndjfl\/1093890617","volume":"13","author":"SL Bloom","year":"1972","unstructured":"Bloom, S. L., & Suszko, R. (1972). Investigations into the sentential calculus with identity. Notre Dame Journal of Formal Logic, 13(3), 289\u2013308.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9795_CR18","doi-asserted-by":"crossref","unstructured":"Goli\u0144ska-Pilarek, J., Huuskonen, T., & Zawidzki, M. (2021). Tableau-based decision procedure for non-Fregean logic of sentential identity. In G. S. A. Platzer (Ed.) 28th International Conference on Automated Deduction CADE. Proceedings. Cham: Springer. arXiv: 2104.14697","DOI":"10.1007\/978-3-030-79876-5_3"},{"key":"9795_CR19","unstructured":"Goli\u0144ska-Pilarek, J., Huuskonen, T., & Zawidzki, M. (2024). Deciding non-Fregean identities: A Dual Tableau approach. Studia Logica. Submitted."},{"issue":"1","key":"9795_CR20","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02282541","volume":"27","author":"R Suszko","year":"1971","unstructured":"Suszko, R. (1971). Identity connective and modality. Studia Logica, 27(1), 7\u201339.","journal-title":"Studia Logica"},{"issue":"3","key":"9795_CR21","first-page":"96","volume":"27","author":"T Ishii","year":"1998","unstructured":"Ishii, T. (1998). Propositional calculus with identity. Bulletin of the Section of Logic, 27(3), 96\u2013104.","journal-title":"Bulletin of the Section of Logic"},{"key":"9795_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-024-10114-4","author":"J Goli\u0144ska-Pilarek","year":"2024","unstructured":"Goli\u0144ska-Pilarek, J. (2024). Paraconsistency in non-Fregean framework. Studia Logica. https:\/\/doi.org\/10.1007\/s11225-024-10114-4","journal-title":"Studia Logica"},{"issue":"2","key":"9795_CR23","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s11225-015-9635-y","volume":"104","author":"J Goli\u0144ska-Pilarek","year":"2016","unstructured":"Goli\u0144ska-Pilarek, J. (2016). On the minimal non-Fregean Grzegorczyk\u2019s logic. Studia Logica, 104(2), 209\u2013234. https:\/\/doi.org\/10.1007\/s11225-015-9635-y","journal-title":"Studia Logica"},{"issue":"3","key":"9795_CR24","first-page":"87","volume":"4","author":"R Suszko","year":"1975","unstructured":"Suszko, R. (1975). Remarks on \u0141ukasiewicz\u2019s three-valued logic. Bulletin of the Section of Logic, 4(3), 87\u201389.","journal-title":"Bulletin of the Section of Logic"},{"key":"9795_CR25","first-page":"375","volume":"22","author":"G Malinowski","year":"2013","unstructured":"Malinowski, G. (2013). Identity, many-valuedness and referentiality. Logic and Logical Philosophy, 22, 375\u2013387.","journal-title":"Logic and Logical Philosophy"},{"key":"9795_CR26","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1023\/A:1005020217249","volume":"60","author":"M Tsuji","year":"1998","unstructured":"Tsuji, M. (1998). Many-valued logics and Suszko\u2019s thesis revisited. Studia Logica, 60, 299\u2013309.","journal-title":"Studia Logica"},{"key":"9795_CR27","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/3-7643-7304-0_10","volume-title":"Logica Universalis","author":"C Caleiro","year":"2005","unstructured":"Caleiro, C., Carnielli, W., Coniglio, M., & Marcos, J. (2005). Two\u2019s company: \u201cthe humbug of many logical values\u2019\u2019. In J.-Y. Beziau (Ed.), Logica Universalis (pp. 169\u2013189). Basel: Birkh\u00e4user Basel."},{"key":"9795_CR28","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s11225-008-9111-z","volume":"88","author":"H Wansing","year":"2008","unstructured":"Wansing, H., & Shramko, Y. (2008). Suszko\u2019s Thesis, inferential many-valuedness, and the notion of a logical system. Studia Logica, 88, 405\u2013429.","journal-title":"Studia Logica"},{"key":"9795_CR29","first-page":"51","volume":"19","author":"C Caleiro","year":"2012","unstructured":"Caleiro, C., & Marcos, J. (2012). Many-valuedness meets bivalence: Using logical values in an effective way. Multiple-Valued Logic and Soft Computing, 19, 51\u201370.","journal-title":"Multiple-Valued Logic and Soft Computing"},{"key":"9795_CR30","doi-asserted-by":"publisher","first-page":"736","DOI":"10.1017\/S1755020318000503","volume":"12","author":"E Chemla","year":"2019","unstructured":"Chemla, E., & \u00c9gr\u00e9, P. (2019). Suszko\u2019s problem: Mixed consequence and compositionality. Review of Symbolic Logic, 12, 736\u2013767.","journal-title":"Review of Symbolic Logic"},{"key":"9795_CR31","unstructured":"\u0141ukasiewicz, J. (1920). O logice tr\u00f3jwarto\u015bciowej (in Polish). Ruch Filozoficzny, 5, 169\u2013171. English translation: On three-valued logic. In L. Borkowski (Ed.), Jan \u0141ukasiewicz. Selected Works 1970 (pp. 87\u201388). Amsterdam: North-Holland."},{"key":"9795_CR32","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-009-9193-2","volume":"92","author":"A Avron","year":"2009","unstructured":"Avron, A. (2009). Multi-valued semantics: Why and How. Studia Logica, 92, 163\u2013182.","journal-title":"Studia Logica"},{"key":"9795_CR33","volume-title":"Intuitionistic Logic","author":"N Bezhanishvili","year":"2010","unstructured":"Bezhanishvili, N., & de Jongh, D. (2010). Intuitionistic Logic. Amsterdam: Universiteit van Amsterdam."},{"issue":"4","key":"9795_CR34","doi-asserted-by":"publisher","first-page":"259","DOI":"10.18778\/0138-0680.48.4.02","volume":"48","author":"S Chlebowski","year":"2019","unstructured":"Chlebowski, S., & Leszczy\u0144ska-Jasion, D. (2019). An investigation into intuitionistic logic with identity. Bulletin of the Section of Logic, 48(4), 259\u2013283.","journal-title":"Bulletin of the Section of Logic"},{"key":"9795_CR35","doi-asserted-by":"crossref","unstructured":"Carnielli, W. A., & Marcos, J. (2002). A taxonomy of C-systems. In W.\u00a0Carnielli, M. E. Coniglio, & I. M. L. D\u2019Ottaviano (Eds.), Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the 2nd World Congress on Paraconsistency (WCP 2000). Lecture Notes in Pure and Applied Mathematics (Vol. 228, pp. 1\u201394). New York: Marcel Dekker, New York.","DOI":"10.1201\/9780203910139.pt1"},{"key":"9795_CR36","doi-asserted-by":"crossref","unstructured":"Carnielli, W., & Coniglio, M. E. (2016). Paraconsistent Logic: Consistency, Contradiction and Negation. Springer Cham: Springer.","DOI":"10.1007\/978-3-319-33205-5"},{"key":"9795_CR37","first-page":"57","volume":"1","author":"S Ja\u015bkowski","year":"1948","unstructured":"Ja\u015bkowski, S. (1948). Rachunek zda\u0144 dla system\u00f3w dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunensis, 1, 57\u201377.","journal-title":"Studia Societatis Scientiarum Torunensis"},{"key":"9795_CR38","first-page":"171","volume":"1","author":"S Ja\u015bkowski","year":"1949","unstructured":"Ja\u015bkowski, S. (1949). O koniunkcji dyskusyjnej w rachunku zda\u0144 dla system\u00f3w dedukcyjnych sprzecznych. Studia Societatis Scientiarum Torunensis, 1, 171\u2013172.","journal-title":"Studia Societatis Scientiarum Torunensis"},{"key":"9795_CR39","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF02123384","volume":"34","author":"J Kotas","year":"1975","unstructured":"Kotas, J. (1975). Discussive sentential calculus of Ja\u015bkowski. Studia Logica, 34, 149\u2013168.","journal-title":"Studia Logica"},{"key":"9795_CR40","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1007\/s11225-017-9780-6","volume":"106","author":"H Omori","year":"2018","unstructured":"Omori, H., & Alama, J. (2018). Axiomatizing Ja\u015bkowski\u2019s discussive logic $${\\sf { D}}_{2}$$. Studia Logica, 106, 1163\u20131180.","journal-title":"Studia Logica"},{"key":"9795_CR41","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0049-237X(08)70644-X","volume-title":"Non Classical Logics, Model Theory and Computability","author":"NCA Da Costa","year":"1977","unstructured":"Da Costa, N. C. A., & Dubikajtis, L. (1977). On Ja\u015bkowski\u2019s discussive logic. In A. I. Arruda, N. C. A. Costa, & R. Chuaqui (Eds.), Non Classical Logics, Model Theory and Computability (pp. 37\u201356). North-Holland: North-Holland."},{"issue":"55","key":"9795_CR42","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1515\/slgr-2015-0036","volume":"42","author":"J Ciuciura","year":"2015","unstructured":"Ciuciura, J. (2015). Algebraization of Ja\u015bkowski\u2019s paraconsistent logic $${\\sf {D}}_{2}$$. Studies in Logic, Grammar and Rhetoric, 42(55), 173\u2013193.","journal-title":"Studies in Logic, Grammar and Rhetoric"},{"issue":"6","key":"9795_CR43","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1002\/malq.19900360606","volume":"36","author":"J Font","year":"1990","unstructured":"Font, J., & Rodr\u00edguez, G. (1990). Note on algebraic models for relevance logic. Mathematical Logic Quarterly, 36(6), 535\u2013540.","journal-title":"Mathematical Logic Quarterly"},{"key":"9795_CR44","volume-title":"Relevant logic: A philosophical examination of inference","author":"S Read","year":"1988","unstructured":"Read, S. (1988). Relevant logic: A philosophical examination of inference. Oxford: Basil Blackwell, New York, NY, USA."},{"key":"9795_CR45","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"M Dunn","year":"2002","unstructured":"Dunn, M., & Restall, G. (2002). Relevance logic. In D. M. Gabbay & F. Guenthner (Eds.), Handbook of Philosophical Logic (Vol. 6, pp. 1\u2013128). Springer, Dordrecht: Springer."},{"key":"9795_CR46","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511801174","volume-title":"An introduction to non-classical logic. From If to Is","author":"G Priest","year":"2008","unstructured":"Priest, G. (2008). An introduction to non-classical logic. From If to Is. Cambridge and New York: Cambridge University Press."},{"key":"9795_CR47","volume-title":"Entailment: The logic of relevance and necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A. R., & Belnap, N. D. (1975). Entailment: The logic of relevance and necessity (Vol. 1). Princeton, N.J.: Princeton University Press."},{"key":"9795_CR48","doi-asserted-by":"crossref","unstructured":"Font, J., & Rodr\u00edguez, G. (1992). A note on Sugihara algebras. Publicacions Matem\u00e1tiques, 36, 591\u2013599.","DOI":"10.5565\/PUBLMAT_362A92_19"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09795-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-025-09795-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09795-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T11:03:08Z","timestamp":1751108588000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-025-09795-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,7]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["9795"],"URL":"https:\/\/doi.org\/10.1007\/s10992-025-09795-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,5,7]]},"assertion":[{"value":"21 May 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 May 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author declares that she has no competing interests. The research described in this paper was funded by the National Science Centre, which has been acknowledged in the Funding section. Apart from this funding, the author has no financial or personal relationships that could inappropriately influence or bias the content of the paper.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}]}}