{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T03:21:07Z","timestamp":1768015267735,"version":"3.49.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032045898","type":"print"},{"value":"9783032045904","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-04590-4_19","type":"book-chapter","created":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T13:50:39Z","timestamp":1756734639000},"page":"281-297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Deciding Non-fregean Identities: A Dual Tableau Approach"],"prefix":"10.1007","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"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7882-8236","authenticated-orcid":false,"given":"Taneli","family":"Huuskonen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2394-6056","authenticated-orcid":false,"given":"Micha\u0142","family":"Zawidzki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,29]]},"reference":[{"key":"19_CR1","unstructured":"Beth, E.W.: Semantic entailment and formal derivability. Mededeelingen der Koninklijke Nederlandsche Akademie van Wetenschappen, Afd. Letterkunde 18, 309\u2013342 (1955)"},{"key":"19_CR2","unstructured":"Beth, E.W.: The Foundations of Mathematics: A Study in the Philosophy of Science. North-Holland Publishing Company, Amsterdam (1959)"},{"key":"19_CR3","doi-asserted-by":"publisher","unstructured":"Bloom, S.L.: On generalized logics. Stud. Log. 33(1), 65\u201368 (1974). https:\/\/doi.org\/10.1007\/BF02120867","DOI":"10.1007\/BF02120867"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF02124265","volume":"28","author":"SL Bloom","year":"1971","unstructured":"Bloom, S.L., Suszko, R.: Semantics for the sentential calculus with identity. Stud. Log. 28(1), 77\u201381 (1971). https:\/\/doi.org\/10.1007\/BF02124265","journal-title":"Stud. Log."},{"issue":"3","key":"19_CR5","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.: Investigations into the sentential calculus with identity. Notre Dame J. Form. Log. 13(3), 289\u2013308 (1972). https:\/\/doi.org\/10.1305\/ndjfl\/1093890617","journal-title":"Notre Dame J. Form. Log."},{"key":"19_CR6","doi-asserted-by":"publisher","unstructured":"Chlebowski, S.: Sequent Calculi for $${\\sf SCI}$$. Stud. Log. 106(3), 541\u2013563 (2017). https:\/\/doi.org\/10.1007\/s11225-017-9754-8","DOI":"10.1007\/s11225-017-9754-8"},{"key":"19_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1754-0","volume-title":"Handbook of Tableau Methods","year":"1999","unstructured":"D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.): Handbook of Tableau Methods. Springer, Dordrecht (1999). https:\/\/doi.org\/10.1007\/978-94-017-1754-0"},{"key":"19_CR8","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-319-97879-6_5","volume-title":"Ewa Or\u0142owska on Relational Methods in Logic and Computer Science","author":"M Fitting","year":"2018","unstructured":"Fitting, M.: Tableaus and dual tableaus. In: Goli\u0144ska-Pilarek, J., Zawidzki, M. (eds.) Ewa Or\u0142owska on Relational Methods in Logic and Computer Science. OCL, vol. 17, pp. 105\u2013128. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-97879-6_5"},{"issue":"4","key":"19_CR9","doi-asserted-by":"publisher","first-page":"511","DOI":"10.3166\/jancl.17.511-519","volume":"17","author":"J Goli\u0144ska-Pilarek","year":"2007","unstructured":"Goli\u0144ska-Pilarek, J.: Rasiowa-Sikorski proof system for the non-Fregean sentential logic $${\\sf SCI}$$. J. Appl. Non-Classical Log. 17(4), 511\u2013519 (2007). https:\/\/doi.org\/10.3166\/jancl.17.511-519","journal-title":"J. Appl. Non-Classical Log."},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/s10992-025-09795-6","volume":"54","author":"J Goli\u0144ska-Pilarek","year":"2025","unstructured":"Goli\u0144ska-Pilarek, J.: Non-fregean world of logics. J. Philos. Log. 54, 575\u2013620 (2025). https:\/\/doi.org\/10.1007\/s10992-025-09795-6","journal-title":"J. Philos. Log."},{"issue":"2","key":"19_CR11","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.: Number of extensions of non-Fregean logics. J. Philos. Log. 34(2), 193\u2013206 (2005). https:\/\/doi.org\/10.1007\/s10992-004-6366-3","journal-title":"J. Philos. Log."},{"key":"19_CR12","doi-asserted-by":"publisher","unstructured":"Goli\u0144ska-Pilarek, J., Huuskonen, T., Zawidzki, M.: Tableau-based decision procedure for non-Fregean logic of sentential identity. In: Platzer, A., Sutcliffe, G. (eds.) Automated Deduction \u2013 CADE 28, LNCS, vol. 12699, pp. 41\u201357. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-79876-5_3, all omitted proofs can be found at https:\/\/arxiv.org\/abs\/2104.14697","DOI":"10.1007\/978-3-030-79876-5_3"},{"issue":"3","key":"19_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s11225-007-9055-8","volume":"85","author":"J Goli\u0144ska-Pilarek","year":"2007","unstructured":"Goli\u0144ska-Pilarek, J., Or\u0142owska, E.: Tableaux and dual tableaux: transformation of proofs. Stud. Logica. 85(3), 291\u2013310 (2007). https:\/\/doi.org\/10.1007\/s11225-007-9055-8","journal-title":"Stud. Logica."},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"115","DOI":"10.3390\/axioms8040115","volume":"8","author":"J Goli\u0144ska-Pilarek","year":"2019","unstructured":"Goli\u0144ska-Pilarek, J., Welle, M.: Deduction in non-Fregean propositional logic $${\\sf SCI}$$. Axioms 8, 115 (2019). https:\/\/doi.org\/10.3390\/axioms8040115","journal-title":"Axioms"},{"key":"19_CR15","doi-asserted-by":"publisher","unstructured":"H\u00e4hnle, R., Beckert, B.: Proof confluent tableau calculi. In: Murray, N.V. (ed.) TABLEAUX 1999. LNCS (LNAI), vol. 1617, pp. 34\u201335. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48754-9_7","DOI":"10.1007\/3-540-48754-9_7"},{"key":"19_CR16","unstructured":"Hintikka, J.: Two Papers on Symbolic Logic: Form and Content in Quantification Theory and Reductions in the Theory of Types. Acta philosophica Fennica, Societas Philosophica, Helsinki (1955)"},{"key":"19_CR17","unstructured":"Kanger, S.: Provability in Logic. Acta Universitatis Stockholmiensis. Stockholm Studies in Philosophy 1, Almqvist and Wiksell, Stockholm (1957)"},{"issue":"3","key":"19_CR18","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF02123284","volume":"33","author":"A Michaels","year":"1974","unstructured":"Michaels, A.: A uniform proof procedure for $${\\sf SCI}$$ tautologies. Stud. Log. 33(3), 299\u2013310 (1974). https:\/\/doi.org\/10.1007\/BF02123284","journal-title":"Stud. Log."},{"key":"19_CR19","doi-asserted-by":"publisher","unstructured":"Or\u0142owska, E., Goli\u0144ska-Pilarek, J.: Dual Tableaux: Foundations, Methodology, Case Studies, Trends in Logic, vol.\u00a033. Springer, Dordrecht (2011). https:\/\/doi.org\/10.1007\/978-94-007-0005-5","DOI":"10.1007\/978-94-007-0005-5"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Rasiowa, H., Sikorski, R.: On the Gentzen theorem. Fundam. Math. 48, 57\u201369 (1960). http:\/\/matwbn.icm.edu.pl\/ksiazki\/fm\/fm48\/fm4814.pdf","DOI":"10.4064\/fm-48-1-59-69"},{"key":"19_CR21","doi-asserted-by":"publisher","unstructured":"Smullyan, R.: First-Order Logic, Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge, vol.\u00a043. Springer Verlag, Berlin, Heidelberg (1968). https:\/\/doi.org\/10.1007\/978-3-642-86718-7","DOI":"10.1007\/978-3-642-86718-7"},{"key":"19_CR22","first-page":"105","volume":"11","author":"R Suszko","year":"1968","unstructured":"Suszko, R.: Non-Fregean logic and theories. Analele Universit\u0103\u0163ii Bucure\u015fti, Acta Logica 11, 105\u2013125 (1968)","journal-title":"Analele Universit\u0103\u0163ii Bucure\u015fti, Acta Logica"},{"issue":"1","key":"19_CR23","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF02282541","volume":"27","author":"R Suszko","year":"1971","unstructured":"Suszko, R.: Identity connective and modality. Stud. Log. 27(1), 7\u201339 (1971). https:\/\/doi.org\/10.1007\/BF02282541","journal-title":"Stud. Log."},{"key":"19_CR24","doi-asserted-by":"publisher","unstructured":"Suszko, R.: Abolition of the Fregean axiom. In: Parikh, R. (ed.) Logic Colloquium. Lecture Notes in Mathematics, vol. 453, pp. 169\u2013239 (1975). https:\/\/doi.org\/10.1007\/BFb0064874","DOI":"10.1007\/BFb0064874"},{"issue":"4","key":"19_CR25","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF02120672","volume":"36","author":"R Suszko","year":"1977","unstructured":"Suszko, R.: The Fregean axiom and Polish mathematical logic in the 1920s. Stud. Log. 36(4), 377\u2013380 (1977). https:\/\/doi.org\/10.1007\/BF02120672","journal-title":"Stud. Log."},{"issue":"3","key":"19_CR26","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF02282483","volume":"35","author":"A Wasilewska","year":"1976","unstructured":"Wasilewska, A.: A sequence formalization for $${\\sf SCI}$$. Stud. Log. 35(3), 213\u2013217 (1976). https:\/\/doi.org\/10.1007\/BF02282483","journal-title":"Stud. Log."},{"issue":"4","key":"19_CR27","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/BF00370509","volume":"43","author":"A Wasilewska","year":"1984","unstructured":"Wasilewska, A.: DFC-algorithms for Suszko logic and one-to-one Gentzen type formalizations. Stud. Log. 43(4), 395\u2013404 (1984). https:\/\/doi.org\/10.1007\/BF00370509","journal-title":"Stud. Log."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04590-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T13:50:40Z","timestamp":1756734640000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04590-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,29]]},"ISBN":["9783032045898","9783032045904"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04590-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,29]]},"assertion":[{"value":"29 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kutaisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.jelia.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}