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