|
Нікітченко, М. С. Композиційно-номінативні логіки із спеціальними предикатами наявності значення для змінних [Текст] / М. С. Нікітченко, С. С. Шкільняк // Вісник Київського національного університету імені Тараса Шевченка / КНУ ім. Т. Шевченка. – Київ : КНУ ім. Т. Шевченка, 2013. – С. 128-133. – (Серія "Фізико-математичні науки").
Досліджено чисті першопорядкові композиційно-номінативні логіки, розширені спеціальними предикатами-індикаторами наявності значення для змінних. Розглянуто семантичні властивості таких логік, пов'язані з цими предикатами. |