REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2025, Volume 33, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/19652
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorHuuskonen, Taneli-
    dc.date.accessioned2026-01-26T10:39:54Z-
    dc.date.available2026-01-26T10:39:54Z-
    dc.date.issued2025-
    dc.identifier.citationFormalized Mathematics, Volume 33, Issue 1, Pages 57-64pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/19652-
    dc.description.abstractThis 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.pl
    dc.description.sponsorshipThis work has been supported by the National Science Centre of Poland, grant number UMO-2017/25/B/HS1/00503.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsAttribution-ShareAlike 4.0 International (CC BY-SA 4.0)pl
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/pl
    dc.subjectPolish notationpl
    dc.subjectnon-Fregean logicpl
    dc.subjectlanguage extensionpl
    dc.titleExtensions of Languages in Polish Notationpl
    dc.typeArticlepl
    dc.rights.holder2025 The Author(s)pl
    dc.rights.holderCC BY-SA 4.0 licensepl
    dc.identifier.doi10.2478/forma-2025-0005-
    dc.description.referencesJę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.pl
    dc.description.referencesAndrzej 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.pl
    dc.description.referencesSzymon 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.pl
    dc.description.referencesDidier Galmiche, Brandon Hornbeck, and Daniel M´ery. Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity. Journal of Logic and Computation, 35, 2025. doi:10.1093/logcom/exae071.pl
    dc.description.referencesJoanna Golińska-Pilarek. Paraconsistency in non-Fregean framework. Studia Logica, 113: 915–953, 2025. doi:10.1007/s11225-024-10114-4.pl
    dc.description.referencesJoanna Golińska-Pilarek. Non-Fregean World of Logics. Journal of Philosophical Logic, 54(3):575–620, 2025. doi:10.1007/s10992-025-09795-6.pl
    dc.description.referencesJoanna 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.pl
    dc.description.referencesTaneli Huuskonen. Polish notation. Formalized Mathematics, 23(3):161–176, 2015.doi:10.1515/forma-2015-0014.pl
    dc.description.referencesTaneli Huuskonen. Fundamentals of finitary proofs. Formalized Mathematics, 32(1): 213–222, 2024. doi:10.2478/forma-2024-0018.pl
    dc.description.referencesSayantan Roy, Sankha S. Basu, and Mihir K. Chakraborty. Suszko’s thesis and manyvalued logical structures. arXiv preprint arXiv:2408.13769, 2024.pl
    dc.description.referencesRoman 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.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume33pl
    dc.description.issue1pl
    dc.description.firstpage57pl
    dc.description.lastpage64pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2025, Volume 33, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    Extensions_of_Languages_in_Polish_Notation.pdf213,56 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons