Logics of local equitone predicates: semantic properties and sequential calculuses
Composition nominative logics of local equitone predicates are proposed. Such logics preserve the main deductive properties of classical logic, but have more rich class of models. Semantic properties and consequence relation for sets of formulas of such logics are studied and сorresponding sequentia...
Saved in:
| Date: | 2015 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2015
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/9 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: |  |