Author:Petr Cintula
Keyphrasesadmissible rules, BCI logic, computational complexity, contraction-free logics, Fuzzy Logic, intuitionistic logic, local deduction theorems, modal logic, two-level syntax. |
| |||||
Copyright © 2012-2024 easychair.org. All rights reserved. |