HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Karel Chvalovský

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

Keyphrases

BCI logic, contraction-free logics, local deduction theorems.

Copyright © 2012-2023 easychair.org. All rights reserved.