<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

Pubblicato online: 30 set 2015

Pagine: 161 - 176

Ricevuto: 30 apr 2015

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

Parole chiave
Polish notation, syntax, well-formed formula

© by Taneli Huuskonen

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

Polish Notation

Pubblicato online: 30 set 2015

Pagine: 161 - 176

Ricevuto: 30 apr 2015

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

Parole chiavePolish notation, syntax, well-formed formula

© by Taneli Huuskonen

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

Parole chiave
Polish notation, syntax, well-formed formula