RUSSIAN

Секвенциональные формулировки паранепротиворечивых логических систем

By Попов В.М.

Book information

Language
russian
Format
ZIP
Filesize
6 MB (5868137 bytes)
Pages
\0
Library
twirpx
Time added
2017-08-07 07:01:42
Философские дисциплины;Логика

Description

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

Similar books