Relations of logical consequence in composition nominative logics

S.S. Shkilnyak

Abstract


Semantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigated.

Prombles in programming 2010; 1: 15-38


References


Нікітченко М.С., Шкільняк С.С. Інтенсіонально-орієнтований підхід до побудови логічних систем // Проблеми програмування. – 2007. – № 2. – C. 15–40.

Нікітченко М.С., Шкільняк С.С. Математична логіка та теорія алгоритмів. – К., 2008. – 528 с.

Смирнова Е.Д. Логика и философия. – М., 1996. – 304 с.

Нікітченко М.С., Шкільняк С.С. Семантичні властивості композиційно-номінативних логік. – Міжнар. конф. "Теоретичні та прикладні аспекти побудови програмних систем". – TAAPSD'2009. Тези доповідей. – К., 2009. – С. 50–59.

Никитченко Н.С. Предикатные композиционно-номинативные системы // Проблемы программирования. – 1999. – № 2. – С. 3–19.


Refbacks

  • There are currently no refbacks.