Search by keyword: "decidability of calculus"
Basic quasi-matrix logics
| Authors: Ivlev Yu.V. | Published: 19.10.2016 |
| Published in issue: #10(48)/2016 | |
| DOI: 10.18698/2306-8477-2016-10-391 | |
| Category: The Humanities in Technical University | Chapter: Philosophy Science | |
| Keywords: matrix logics, quasi-matrix logics, quasi-function, semantic completeness, decidability of calculus | |