Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: syntax

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.

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Universality of Logic

63%

Woleński J.

Bulletin of the Section of Logic

2017

tom 46

nr 1/2

This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity (truth in all models). All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic. The categorical approach to logic is presented as associated with the last understanding of universality. The author concludes that two senses of universality should be sharply discriminated and defends the first-order thesis.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Formalized Mathematics

1 Huuskonen T.

1 Woleński J.

1 2017

1 2015

Wyniki wyszukiwania

Polish Notation

Universality of Logic