ISS Library

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

Нікітченко М.С. and Шкільняк С.С. (2003) ЛОГІКИ ЛОКАЛЬНО-ЕКВІТОННИХ ПРЕДИКАТІВ: СЕМАНТИЧНІ ВЛАСТИВОСТІ ТА СЕКВЕНЦІЙНІ ЧИСЛЕННЯ. Проблеми програмування (2). pp. 28-41. ISSN 1727-4907

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
359Kb

Abstract

Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відно- шення логічного наслідку для множин формул, будуються відповідні секвенційні чис- лення, на їх основі доводяться теореми коректності та повноти.

Item Type:Article
Subjects:F. Theory of Computation > F.3. LOGICS AND MEANINGS OF PROGRAMS
ID Code:170
Deposited By:G.U. Volkova
Deposited On:23 May 2007 12:53
Last Modified:10 Jun 2008 14:17

Repository Staff Only: item control page