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:

On the first order true in every universe (including the empty universe)

Szczegóły
Abstrakt

Tytuł:: On the first order true in every universe (including the empty universe)
Autorzy:: Dubikajtis, L.
Data publikacji:: 2003
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

As it is well known, the set of theorems: Th_{LP} of the first order predicate calculus LP contains all formulae which are valid in every universe with non-empty set of individuals. In this paper I investigate a certain restriction LM of LP. Its set of theorems contains only the theorems valid also in the ''empty-universe'' (i.e.\ in the universe with empty set of individuals).

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

On the first order true in every universe (including the empty universe)