Buchumschlag

Pure first-order logics of quasiary predicates

Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic models and languages, giving special attention in our research to composition algebras of predicates and interpretation classes (sematics), and log...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PROBLEMS IN PROGRAMMING
Datum:2018
Heft:2-3
Сторінки:73-86
ISSN:1727-4907
Автори та афіліації:
  • M.S. Nikitchenko — Kiev Taras Shevchenko National University
  • О.S. Shkilniak — Kiev Taras Shevchenko National University
  • S.S. Shkilniak — Kiev Taras Shevchenko National University
Ключові слова:логічний наслідок, логіка, логіко-семантичне представлення, секвенційне числення, предикація, логічна операція, логічний аналіз, предикатні семи, семантика, логічні міркування
Hauptverfasser: Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: PROBLEMS IN PROGRAMMING 2018
Schlagworte:
logic
predicate
semantics
logical consequence
sequent calculus
UDC 004.42:510.69
Online Zugang:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/182
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Institution

Problems in programming

Online

https://pp.isofts.kiev.ua/index.php/ojs1/article/view/182

Ähnliche Einträge