Search results
- 1.0405484 - UIVT-O 330861 ES eng A - Abstract
Cintula, Petr
Deduction Theorems in Weakly Implicative Logics.
Algebraic and Topological Methods in Non-Classical Logics. Barcelona: Universitat de Barcelona, 2005. s. 19-20.
[Algebraic and Topological Methods in Non-Classical Logics /2./. 15.06.2005-18.06.2005, Barcelona]
Institutional research plan: CEZ:AV0Z10300504
Keywords : deduction theorem * substructural logic * BCI logic * weakly implicative logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125646 - 2.0391888 - ÚI 2014 GB eng A - Abstract
Chvalovský, Karel - Cintula, Petr
Note on Deduction Theorems in Contraction-Free Logics.
LPAR-17-short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. University of Manchester: EasyChair Conference System, 2013 - (Voronkov, A.; Sutcliffe, G.; Baaz, M.; Fermüller, C.). s. 26-29. ISSN 2040-557X.
[LPAR 2010. International Conference on Logic for Programming, Artificial intelligence, and Reasoning /17./. 10.10.2010-15.10.2010, Yogyakarta]
R&D Projects: GA ČR GAP202/10/1826; GA ČR GD401/09/H007; GA AV ČR IAA900090703
Grant - others:GA UK 73109/2009
Institutional research plan: CEZ:AV0Z10300504
Keywords : Local Deduction Theorem * BCI-logic * Substructural logics * Rule of contraction
Subject RIV: BA - General Mathematics
http://www.easychair.org/publications/?page=1414404771
Permanent Link: http://hdl.handle.net/11104/0220860File Download Size Commentary Version Access a0391888.pdf 2 293 KB Publisher’s postprint require 0391888.pdf 2 811.3 KB Author´s preprint open-access - 3.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