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.
- 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.
- 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.
- 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.
- Joanna Golińska-Pilarek. Paraconsistency in non-Fregean framework. Studia Logica, 113: 915–953, 2025. doi:10.1007/s11225-024-10114-4.
- 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.
- 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.
- Taneli Huuskonen. Polish notation. Formalized Mathematics, 23(3):161–176, 2015. doi:10.1515/forma-2015-0014.
- Taneli Huuskonen. Fundamentals of finitary proofs. Formalized Mathematics, 32(1): 213–222, 2024. doi:10.2478/forma-2024-0018.
- Sayantan Roy, Sankha S. Basu, and Mihir K. Chakraborty. Suszko’s thesis and many-valued logical structures. arXiv preprint arXiv:2408.13769, 2024.
- 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.