Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: twierdzenie Tarskiego

Sortuj według:

Ogranicz wyniki do:

The Proof of Certain Tarski's Theorem about the Existence of One-element Base for Axiomatizable Systems of Propositional Calculus

Kaptur M.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2003

Vol. 9

51--59

In [1] the following theorem relating the existence of one-element base for spacious class of axiomatizable propositional calculus has been given: Theorem 1. System L, as well as each axiomatizable system propositional calculus, contains sentences "CpCqp" and „CpCqCCpCqrr" (or "CpCqCCpCqrCsr"), possesses the base consisting of only one sentence 1. In Postscript added to the English translation of publication [1] 2 the outline of proof of the above theorem, found by R. McKenzie, has been given. Author of the article advises to give the full proof of Theorem 1, because the outline contained in Postscript does not contain essential reasonings for the proof.