| 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-2025 easychair.org. All rights reserved. |