Extensions of Languages in Polish Notation

Huuskonen, Taneli

doi:10.2478/forma-2025-0005

Abstract

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’s basic non-Fregean logic SCI, namely WB and WH.

References

Język – struktura – ontologia. Pamięci Romana Suszki. In Andrzej Pietruszczak et al., editor, Studies in Philosophy of Language and Ontology. Adam Mickiewicz University Press, 2022.
Search in Google Scholar Back to article
Andrzej Biłat. Non-Fregean logics of analytic equivalence (II). Bulletin of the Section of Logic, 44(1):69–79, 2015. doi:10.18778/0138-0680.44.1.2.07.
Search in Google Scholar Back to article
Szymon Chlebowski and Dorota Leszczyńska-Jasion. An investigation into intuitionistic logic with identity. Bulletin of the Section of Logic, 48(4):259–283, 2019. doi:10.18778/0138-0680.48.4.02.
Search in Google Scholar Back to article
Didier Galmiche, Brandon Hornbeck, and Daniel Méry. Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity. Journal of Logic and Computation, 35, 2025. doi:10.1093/logcom/exae071.
Search in Google Scholar Back to article
Joanna Golińska-Pilarek. Paraconsistency in non-Fregean framework. Studia Logica, 113: 915–953, 2025. doi:10.1007/s11225-024-10114-4.
Search in Google Scholar Back to article
Joanna Golińska-Pilarek. Non-Fregean World of Logics. Journal of Philosophical Logic, 54(3):575–620, 2025. doi:10.1007/s10992-025-09795-6.
Search in Google Scholar Back to article
Joanna Golińska-Pilarek, Taneli Huuskonen, and Michał 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–297. Springer Nature Switzerland, 2025. doi:10.1007/978-3-032-04590-4 19.
Search in Google Scholar Back to article
Taneli Huuskonen. Polish notation. Formalized Mathematics, 23(3):161–176, 2015. doi:10.1515/forma-2015-0014.
Search in Google Scholar Back to article
Taneli Huuskonen. Fundamentals of finitary proofs. Formalized Mathematics, 32(1): 213–222, 2024. doi:10.2478/forma-2024-0018.
Search in Google Scholar Back to article
Sayantan Roy, Sankha S. Basu, and Mihir K. Chakraborty. Suszko’s thesis and many-valued logical structures. arXiv preprint arXiv:2408.13769, 2024.
Search in Google Scholar Back to article
Roman Suszko. Abolition of the Fregean axiom. In R. Parikh, editor, Logic Colloquium: Symposium on Logic held at Boston, 1972–73, volume 453 of Lecture Notes in Mathematics, pages 169–239, Heidelberg, 1975. Springer.
Search in Google Scholar Back to article

Extensions of Languages in Polish Notation

Abstract

Paradigm

My account