Menu
Home
Contact us
Stats
Categories
Calendar
Toggle Wiki
Wiki Home
Last Changes
Rankings
List pages
Orphan pages
Sandbox
Print
Toggle Image Galleries
Galleries
Rankings
Toggle Articles
Articles home
List articles
Rankings
Toggle Blogs
List blogs
Rankings
Toggle Forums
List forums
Rankings
Toggle File Galleries
List galleries
Rankings
Toggle Maps
Mapfiles
Toggle Surveys
List surveys
Stats
ITHEA Classification Structure > F. Theory of Computation  > F.3 LOGICS AND MEANINGS OF PROGRAMS  > F.3.1 Specifying and Verifying and Reasoning about Programs 
ITHEA Classification Structure > F. Theory of Computation  > F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES  > F.4.1 Mathematical Logic 
СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС
By: Николай Никитченко, Степан Шкиль (3576 reads)
Rating: (1.00/10)

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

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

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

Print
F.3.1 Specifying and Verifying and Reasoning about Programs
article: PROPERTIES PROOF METHOD IN IPCL APPLICATION TO REAL-WORLD SYSTEM CORRECTNESS ... · СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС · МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕ� · МНОГОСОРТНАЯ МОНОТОННАЯ ЛОГИКА ФЛОЙДА-ХОАР · Program Invariants Generation over Polynomial Ring using Iterative Methods. ·
F.4.1 Mathematical Logic
article: UNIVERSAL AND DETERMINED CONSTRUCTORS OF MULTISETS OF OBJECTS · PROOF COMPLEXITIES OF SOME PROPOSITIONAL FORMULAE CLASSES IN DIFFERENT ... · COMPARISON OF PROOF SIZES IN FREGE SYSTEMS AND SUBSTITUTION FREGE SYSTEMS · ALGORITHMIZATION PROCESS FOR FRACTAL ANALYSIS IN THE CHAOTIC DYNAMICS OF ... · ON PROBLEM OF ADEQUACY OF MULTISET MATHEMATICAL MODELS · PROOF COMPLEXITIES OF SOME PROPOSITIONAL FORMULAE CLASSES IN DIFFERENT ... · ACCOUNTING IN THEORETICAL GENETICS · СЕМАНТИЧЕСКИЕ СВОЙСТВА И СЕКВЕНЦИАЛЬНЫЕ ИС · МОДАЛЬНЫЕ ЛОГИКИ ЧАСТИЧНЫХ ПРЕДИКАТОВ И СЕ� · CONTRADICTION VERSUS SELFCONTRADICTION IN FUZZY LOGIC* · A GEOMETRICAL INTERPRETATION TO DEFINE CONTRADICTION ·
Login
[ register | I forgot my password ]
World Clock
Powered by Tikiwiki Powered by PHP Powered by Smarty Powered by ADOdb Made with CSS Powered by RDF powered by The PHP Layers Menu System
RSS Wiki RSS Blogs rss Articles RSS Image Galleries RSS File Galleries RSS Forums RSS Maps rss Calendars
[ Execution time: 0.08 secs ]   [ Memory usage: 7.53MB ]   [ GZIP Disabled ]   [ Server load: 0.31 ]
Powered by Tikiwiki CMS/Groupware