libcats.org
Главная

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

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

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

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