libcats.org
Главная

О свойстве Бета в расширениях логик Лукасевича

О свойстве Бета в расширениях логик Лукасевича

Доказано, что необходимым условием того, чтобы консервативные аксиоматические расширения бесконечнозначной (или -значной) логики Лукасевича обладали свойством определимости Бета, является наличие в языке этих расширений счетного множества (соответственно множества мощности ) неэквивалентных относительно данных расширений константных термов.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#5

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport
57.35 Mb
Только что пользователи скачали эти книги: