{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T11:04:53Z","timestamp":1774868693661,"version":"3.50.1"},"reference-count":11,"publisher":"Walter de Gruyter GmbH","issue":"1","license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,1]]},"abstract":"<jats:title>Summary<\/jats:title>\n                  <jats:p>This article prepares a collection of basic tools for adding new operators to a language in Polish notation, a parenthesis-free logical system where operators precede their operands. A need for this arose while attempting to formalize some extensions of Roman Suszko\u2019s basic non-Fregean logic SCI, namely WB and WH.<\/jats:p>","DOI":"10.2478\/forma-2025-0005","type":"journal-article","created":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T12:06:10Z","timestamp":1765973170000},"page":"57-64","source":"Crossref","is-referenced-by-count":0,"title":["Extensions of Languages in Polish Notation"],"prefix":"10.2478","volume":"33","author":[{"given":"Taneli","family":"Huuskonen","sequence":"first","affiliation":[{"name":"Tampere , Finland"}]}],"member":"374","published-online":{"date-parts":[[2025,12,17]]},"reference":[{"key":"2026033010152184814_j_forma-2025-0005_ref_001","unstructured":"J\u0119zyk \u2013 struktura \u2013 ontologia. Pami\u0119ci Romana Suszki. In Andrzej Pietruszczak et al., editor, Studies in Philosophy of Language and Ontology. Adam Mickiewicz University Press, 2022."},{"key":"2026033010152184814_j_forma-2025-0005_ref_002","doi-asserted-by":"crossref","unstructured":"Andrzej Bi\u0142at. Non-Fregean logics of analytic equivalence (II). Bulletin of the Section of Logic, 44(1):69\u201379, 2015. doi:10.18778\/0138-0680.44.1.2.07.","DOI":"10.18778\/0138-0680.44.1.2.07"},{"key":"2026033010152184814_j_forma-2025-0005_ref_003","doi-asserted-by":"crossref","unstructured":"Szymon Chlebowski and Dorota Leszczy\u0144ska-Jasion. An investigation into intuitionistic logic with identity. Bulletin of the Section of Logic, 48(4):259\u2013283, 2019. doi:10.18778\/0138-0680.48.4.02.","DOI":"10.18778\/0138-0680.48.4.02"},{"key":"2026033010152184814_j_forma-2025-0005_ref_004","doi-asserted-by":"crossref","unstructured":"Didier Galmiche, Brandon Hornbeck, and Daniel M\u00e9ry. Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity. Journal of Logic and Computation, 35, 2025. doi:10.1093\/logcom\/exae071.","DOI":"10.1093\/logcom\/exae071"},{"key":"2026033010152184814_j_forma-2025-0005_ref_005","doi-asserted-by":"crossref","unstructured":"Joanna Goli\u0144ska-Pilarek. Paraconsistency in non-Fregean framework. Studia Logica, 113: 915\u2013953, 2025. doi:10.1007\/s11225-024-10114-4.","DOI":"10.1007\/s11225-024-10114-4"},{"key":"2026033010152184814_j_forma-2025-0005_ref_006","doi-asserted-by":"crossref","unstructured":"Joanna Goli\u0144ska-Pilarek. Non-Fregean World of Logics. Journal of Philosophical Logic, 54(3):575\u2013620, 2025. doi:10.1007\/s10992-025-09795-6.","DOI":"10.1007\/s10992-025-09795-6"},{"key":"2026033010152184814_j_forma-2025-0005_ref_007","doi-asserted-by":"crossref","unstructured":"Joanna Goli\u0144ska-Pilarek, Taneli Huuskonen, and Micha\u0142 Zawidzki. Deciding non-Fregean identities: A dual tableau approach. In Giovanni Casini, Besik Dundua, and Temur Kutsia, editors, Logics in Artificial Intelligence (JELIA 2025), pages 281\u2013297. Springer Nature Switzerland, 2025. doi:10.1007\/978-3-032-04590-4 19.","DOI":"10.1007\/978-3-032-04590-4_19"},{"key":"2026033010152184814_j_forma-2025-0005_ref_008","doi-asserted-by":"crossref","unstructured":"Taneli Huuskonen. Polish notation. Formalized Mathematics, 23(3):161\u2013176, 2015. doi:10.1515\/forma-2015-0014.","DOI":"10.1515\/forma-2015-0014"},{"key":"2026033010152184814_j_forma-2025-0005_ref_009","doi-asserted-by":"crossref","unstructured":"Taneli Huuskonen. Fundamentals of finitary proofs. Formalized Mathematics, 32(1): 213\u2013222, 2024. doi:10.2478\/forma-2024-0018.","DOI":"10.2478\/forma-2024-0018"},{"key":"2026033010152184814_j_forma-2025-0005_ref_010","unstructured":"Sayantan Roy, Sankha S. Basu, and Mihir K. Chakraborty. Suszko\u2019s thesis and many-valued logical structures. arXiv preprint arXiv:2408.13769, 2024."},{"key":"2026033010152184814_j_forma-2025-0005_ref_011","doi-asserted-by":"crossref","unstructured":"Roman Suszko. Abolition of the Fregean axiom. In R. Parikh, editor, Logic Colloquium: Symposium on Logic held at Boston, 1972\u201373, volume 453 of Lecture Notes in Mathematics, pages 169\u2013239, Heidelberg, 1975. Springer.","DOI":"10.1007\/BFb0064874"}],"container-title":["Formalized Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.sciendo.com\/pdf\/10.2478\/forma-2025-0005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T10:15:50Z","timestamp":1774865750000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.sciendo.com\/article\/10.2478\/forma-2025-0005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,1]]},"references-count":11,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12,17]]},"published-print":{"date-parts":[[2025,9,1]]}},"alternative-id":["10.2478\/forma-2025-0005"],"URL":"https:\/\/doi.org\/10.2478\/forma-2025-0005","relation":{},"ISSN":["1898-9934"],"issn-type":[{"value":"1898-9934","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,1]]}}}