Аннотация: Исследованы чистые первопорядковые композиционно-номинативные логики частичных однозначных предикатов. Введено расширение логики специальными предикатами, которые определя- ют наличие значений для переменных. На этой основе для таких логик построены исчисления секвен- циального типа. Для этих исчислений доказаны теоремы корректности и полноты.

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

ACM классификация ключевых слов: F.3.1 Specifying and Verifying and Reasoning about Programs; F.4.1 Mathematical Logic – Proof theory

Link:

СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИСЧИСЛЕНИЯ ЧИСТЫХ КОМПОЗИЦИОННО-НОМИНАТИВНЫХ ЛОГИК ПЕРВОГО ПОРЯДКА

Николай Никитченко, Степан Шкильняк

http://www.foibg.com/ijita/vol20/ijita20-04-p09.pdf