Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studia Philosophiae Christianae

Years help

  1. 1 2012

Authors help

  1. 1 Wesserling J.

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  reguła ekstensjonalności dla identyczności
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Równoważnościowa sprowadzalność formuł logiki niefregowskiej do kwantyfikatorowej postaci normalnej

100%
Wesserling J.
Studia Philosophiae Christianae
|
2012
|
vol. 48
|
issue 3
185-208
EN
This paper concerns the Sentential Calculus with Identity and Quantifiers – a formal system developed by Polish logician R. Suszko. The article deals with the study of one of the metalogical properties of this system which is the possibility of a reduction of formulas to their prenex normal forms. The final and most important result of this work is the proof of the theorem stating that every formula is equivalent on the basis of each WBQ-theory to its prenex normal form.
PL
Artykuł dotyczy niefregowskiej logiki zdaniowej z kwantyfikatorami - systemu formalnego stworzonego przez polskiego logika, R. Suszko. W artykule bada się jedną z metalogicznych własności tego systemu – sprowadzalność formuł języka logiki niefregowskiej do kwantyfikatorowej postaci normalnej. Końcowym i najważniejszym wynikiem jest dowód twierdzenia mówiącego, że każda formuła danego SCIQ–języka J, jest równoważna, na gruncie każdej WBQ–teorii, z pewną formułą o kwantyfikatorowej postaci normalnej.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.