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.
Language: English
Page range: 161 - 176
Submitted on: Apr 30, 2015
Published on: Sep 30, 2015
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2015 Taneli Huuskonen, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.