Compositional logics of nominative data

M.S. Nikitchenko, S.S. Shkilniak

Abstract


Logics that are oriented on program specification are proposed. These logics are constructed in a semantic-syntactic style on a basis of composition nominative approach. The first logic (neoclassical compositional logic) is the logic of equitone predicates over infinitary named data; it preserves the main properties of classical logic. The second logic (over finitary nominative data) is a concretization of the first one; the class of multi-valued naturally (abstractly) computable functions over nominative data is defined on its basis.

References


Аксиоматические системы спецификаций программ над номинативными данными / Н.С. Никитченко, Л.Л. Омельчук, С.С. Шкильняк, О.И. Янченко // Пробл. программирования. – 2000. – № 1—2. – С. 259—272.

Нікітченко М.С., Шкільняк С.С., Омельчук Л.Л. Програми над ідентифікованими даними та їх Σ-визначеність. – Київ, 1999.

– Деп. в ДНТБ України 01.10.99, N 242— 82 с.

Nikitchenko N. A Composition Nominative Approach to Program Semantics: Technical Report IT—TR: 1998—020. – Denmark: Technical University of Denmark, 1998. – 103 p.

Никитченко Н.С. Композиционно—номинативный подход к уточнению понятия программы // Пробл. программирования. – 1999. – № 1. – С. 16—31.

Редько В.Н. Композиции программ и композиционное программирование // Программирование. – 1978. – № 5. – С. 3—24.

Nikitchenko N.S. Abstract Computability of Non-deterministic Programs over Various Data Structures // Perspectives of Systems Informatics: Proc. of A.Ershov Fourth Intern. Conf., Novosibirsk, 2001. – LNCS 2244 (2001). – P. 471—484.

Басараб И.А., Никитченко Н.С., Редько В.Н. Композиционные базы данных. – Киев: Либiдь. – 1992. – 191 с.

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

Шенфилд Дж. Математическая логика. – М.: Наука, 1975. – 527 с.

...


Refbacks

  • There are currently no refbacks.