Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: well-formed formula

Sortuj według:

Ogranicz wyniki do:

Polish Notation

100%

Huuskonen T.

Formalized Mathematics

2015

tom 23

nr 3

161-176

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.

Characteristics and decomposition of expressions in the PF-notation

63%

Balcer M.

Silesian Journal of Pure and Applied Mathematics

2016

tom Vol. 6, iss. 1

5--22

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 classiﬁcation and decomposition of expressions in the PF-notation. Some original results and the independent proofs of known results are presented.