<abstract xmlns="http://www.w3.org/1999/xhtml"><p>This article is the first in a series formalizing some results in
my joint work with Prof. Joanna Golinska-Pilarek ([12] and [13]) concerning a
logic proposed by Prof. Andrzej Grzegorczyk ([14]).</p><p>
We present some mathematical folklore about representing formulas in “Polish
notation”, that is, with operators of fixed arity prepended to their arguments.
This notation, which was published by Jan Łukasiewicz in [15], eliminates the
need for parentheses and is generally well suited for rigorous reasoning about
syntactic properties of formulas.</p></abstract>

This article is the first in a series formalizing some results in
my joint work with Prof. Joanna Golinska-Pilarek ([12] and [13]) concerning a
logic proposed by Prof. Andrzej Grzegorczyk ([14]).
We present some mathematical folklore about representing formulas in “Polish
notation”, that is, with operators of fixed arity prepended to their arguments.
This notation, which was published by Jan Łukasiewicz in [15], eliminates the
need for parentheses and is generally well suited for rigorous reasoning about
syntactic properties of formulas.

Polish Notation

Department of Mathematics and Statistics University of Helsinki Finland

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

{"article-title":"Polish Notation"}

This article is the first in a series formalizing some results in
my joint work with Prof. Joanna Golinska-Pilarek ([12] and [13]) concerning a
logic proposed...

Polish Notation

Data publikacji: 30 wrz 2015

Zakres stron: 161 - 176

Otrzymano: 30 kwi 2015

DOI: https://doi.org/10.1515/forma-2015-0014

Słowa kluczowe
Polish notation, syntax, well-formed formula

© by Taneli Huuskonen

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Polish Notation

Data publikacji: 30 wrz 2015

Zakres stron: 161 - 176

Otrzymano: 30 kwi 2015

DOI: https://doi.org/10.1515/forma-2015-0014

Słowa kluczowePolish notation, syntax, well-formed formula

© by Taneli Huuskonen

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.

Słowa kluczowe
Polish notation, syntax, well-formed formula