<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

Online veröffentlicht: 30. Sept. 2015

Seitenbereich: 161 - 176

Eingereicht: 30. Apr. 2015

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

Schlüsselwörter
Polish notation, syntax, well-formed formula

© by Taneli Huuskonen

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

Polish Notation

Online veröffentlicht: 30. Sept. 2015

Seitenbereich: 161 - 176

Eingereicht: 30. Apr. 2015

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

SchlüsselwörterPolish notation, syntax, well-formed formula

© by Taneli Huuskonen

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

Schlüsselwörter
Polish notation, syntax, well-formed formula