Logical consequence relations in logics of monotone predicates and logics of antitone predicates
Logical consequence is one of the fundamental concepts in logic. In this paper we study logical consequence relations for program-oriented logical formalisms: pure first-order composition nominative logics of quasiary predicates. In our research we are giving special attention to different types of...
Gespeichert in:
| Veröffentlicht in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Datum: | 2018 |
| Heft: | 1 |
| Сторінки: | 21-29 |
| ISSN: | 1727-4907 |
| Автори та афіліації: |
|
| Ключові слова: | логічний наслідок, логіка, предикація, семантика, частковий предикат, семантичний, логіко-семантичне представлення, предикатні семи, предикативність, синтактико-семантичний та логічний аналіз |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2018
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/219 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |