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...
Saved in:
| Published in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Date: | 2018 |
| Issue: | 1 |
| Pages: | 21-29 |
| ISSN: | 1727-4907 |
| Author Affiliations: |
|
| Keywords: | логічний наслідок, логіка, предикація, семантика, частковий предикат, семантичний, логіко-семантичне представлення, предикатні семи, предикативність, синтактико-семантичний та логічний аналіз |
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
PROBLEMS IN PROGRAMMING
2018
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/219 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: |
|