HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Petr Cintula

Publications
Two-layer modal logics: from fuzzy logics to a general framework
Petr Cintula and Carles Noguera
In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Note on Deduction Theorems in Contraction-Free Logics
Karel Chvalovský and Petr Cintula
In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic
Petr Cintula and George Metcalfe
In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.

Keyphrases

admissible 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.