Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

AN INFINITE SEQUENCE OF PROPOSITIONAL CALCULI

Szczegóły
Opis

Tytuł:: AN INFINITE SEQUENCE OF PROPOSITIONAL CALCULI
Autorzy:: Moshchenskii Vladimir A.
Tematy:: DEDUCTION THEOREM
INFINITE SEQUENCES
PROPOSITIONAL CALCULUS
LIBRARY & INFORMATION SCIENCE
Język:: angielski
Dostawca treści:: CEJSH
: Artykuł

Przejdź do źródła

It is described an infinite sequence of propositional calculi where the next calculus has more compound form of deduction theorem.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

AN INFINITE SEQUENCE OF PROPOSITIONAL CALCULI