Logics of quasiary predicates of quantifier-equational level
First-order composition-nominative logics of partial single-valued, total multiple valued and partial multiple-valued quasiary predicates of quantifierequational level are studied. We define basic semantic properties of the introduced logics, particularly the properties of the relations of logical c...
Saved in:
| Date: | 2015 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
PROBLEMS IN PROGRAMMING
2015
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/104 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: |  |
Institution
Problems in programming| Summary: | First-order composition-nominative logics of partial single-valued, total multiple valued and partial multiple-valued quasiary predicates of quantifierequational level are studied. We define basic semantic properties of the introduced logics, particularly the properties of the relations of logical consequence for sets of formulas and the Х–Y-valued relations of logical consequence. On this basis we construct sequent calculi for logics of single-valued quasi-ary predicates of quantifier-equational level. |
|---|