// Семантические и синтаксические исследования неэкстенсиональных
логик. — М.: Наука, 1989. Академия наук СССР, Институт философии.
В статье предлагается секвенциальное исчисление для
паранепротиворечивой логики PCont и впервые формулируется
паранепротиворечивая логика Par в виде секвенциального и
гильбертовского исчислений.
Попов В.М. Секвенциональные формулировки паранепротиворечивых логических систем
Статья
- формат image
- размер 5,60 МБ
- добавлен 12 марта 2015 г.