Эта публикация цитируется в 1 статье

Пропозициональные исчисления как средство задания логических процессов

Г. В. Боков

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: Доклад посвящен заданию логических процессов средствами пропозициональных исчислений. Будет рассказано о том, как логические системы задаются исчислениями, условия существования такого задания, свойства решетки логических систем, порожденных исчислениями, условия разрешимости проблемы вывода для пропозициональных исчислений и сложность этого вывода.

Ключевые слова: пропозициональные исчисления, логические системы, проблемы вывода, сложность вывода.