Sequent calculi for first-order logics of single-valued quasi-ary predicates
On the basis of properties of various relations of logical consequence, we specify sequent calculi for first-order composition-nominative logics of single-valued quasi-ary predicates of quantifier level. Such calculi are constructed for logics of equtone predicates and for a general case of logics o...
Saved in:
| Date: | 2018 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2018
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/36 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: |  |