Number of the records: 1
Note on Deduction Theorems in contraction-free logics
- 1.0376591 - ÚI 2013 RIV DE eng J - Journal Article
Chvalovský, Karel - Cintula, Petr
Note on Deduction Theorems in contraction-free logics.
Mathematical Logic Quarterly. Roč. 58, č. 3 (2012), s. 236-243. ISSN 0942-5616. E-ISSN 1521-3870
R&D Projects: GA ČR GAP202/10/1826
Grant - others:Austrian Science Fund (FWF)(AT) START Y544-N23
Institutional research plan: CEZ:AV0Z10300504
Keywords : Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Subject RIV: BA - General Mathematics
Impact factor: 0.376, year: 2012
Permanent Link: http://hdl.handle.net/11104/0208951File Download Size Commentary Version Access 0376591.pdf 1 848.5 KB GSp Author´s preprint open-access
Number of the records: 1