О фрагменте интуиционистской логики, полном относительно...

О фрагменте интуиционистской логики, полном относительно шкал Крипке с конечными областями

Шрайнер П.А.
0 / 0
0 comments
Колко ви харесва тази книга?
Какво е качеството на файла?
Изтеглете книгата за оценка на качеството
Какво е качеството на изтеглените файлове?
Категории:
Mathematics - Logic
Година:
2000
Език:
russian
Страници:
10
Серия:
Сибирский математический журнал, т. 41 (2000), № 2, с. 470-479
Файл:
PDF, 352 KB
IPFS:
CID , CID Blake2b
russian, 2000
Четете Онлайн
  • pdf 352 KB Current page
  • Checking other formats...
  • Конвертираният файл може да се различава от оригинала. Ако е възможно, изтеглете файла в оригиналния му формат
    Litres
    Искате ли да добавите книжарница? Свържете се с нас на support@z-lib.do
Преобразуването в се извършва
Преобразуването в е неуспешно

Най-често използвани термини

 
формула
исчислении
формулы
выводима
ω0
ω1
ω2
множеству
формулу
квантора
принадлежит
всеобщности
логики
ψ0
введения
получаем
правила
интуиционистской
свойство
входят
список
φ0
входит
доказательство
звеньев
интерполянт
множества
передних
свойства
φ1
φ2
выводимы
интерполяционное
крипке
предикатов
причем
слева
существования
γ0
правилу
символов
существует
ψ1
ψ2
бета
конечными
лемма
любого
отсюда
переменная
предположению
символы
следовательно
введение
дизъюнкции
заключением
интерполянтом
интерполяционной
конъюнкции
областями