Characteristics and decomposition of expressions in the PF-notation

• Autorzy: Balcer M.
• Języki publikacji: EN

Abstrakty

EN

The paper presents a selected aspects of classical parenthesis-free notation. With the introduction of the concepts of the pattern of expression and the characteristics were obtained convenient tools for classification and decomposition of expressions in the PF-notation. Some original results and the independent proofs of known results are presented.

Słowa kluczowe

EN

Polish notation; syntax; well-formed formula; graph of expression

PL

notacja polska; składnia; dobrze zbudowana formuła; wykres wypowiedzi

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Silesian Journal of Pure and Applied Mathematics
• Rocznik: 2016
• Tom: Vol. 6, iss. 1
• Strony: 5--22
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Balcer M.

• Institute of Mathematics, Silesian University of Technology, Gliwice, Poland

Bibliografia

• 1. Grzegorczyk A.: Sketch of Mathematical Logic. PWN, Warszawa 1973 (in Polish).
• 2. Huuskonen T.: Polish Notation. Formalized Math. 23, no. 3 (2015), 161–176.
• 3. Łukasiewicz J.: Elements of Mathematical Logic. Warszawa 1929 (in Polish).
• 4. Łukasiewicz J.: Uwagi o aksjomacie Nikoda i dedukcji uogólniającej. In: Księga Pamiątkowa Polskiego Towarzystwa Filozoficznego, Lwów 1931 (in Polish).
• 5. Lyndon C.R.: Notes on Logic. D. Van Nostrand Company, Princeton 1966.
• 6. Malitz J.: Introduction to Mathematical Logic. Springer Verlag, New York 1979.
• 7. Meyers W.J.: Linear Representation of Tree Structure: A Mathematical Theory of Parenthesis-free Notation. Computer Science Department, School of Humanities and Science, Stanford University 1974.
• 8. Visser A.: On the ambiguation of Polish Notation. Theoret. Comput. Sci. 412 (2011), 3404–3411.