Publications
- Independence of Axioms in Non-classical Logics and Automated Theorem ProvingPublication without faculty affiliation
- Note on D-completeness and prelinearity2013 | Faculty of Arts
- Notes on Condensed Detachment2011 | Faculty of Arts
- Non-Equivalence of Some Implicational Deduction Theorems2010 | Faculty of Arts
- Independence of Axioms in Non-Classical Logics and ATP2009 | Faculty of Arts
- Syntactic Approach to Fuzzy Modal Logic in MTL2009 | Faculty of Arts
- Derivational complexity of {aa-->bc, bb-->ac, cc-->ab} +12009 | Faculty of Arts
- On the Independence of Axioms in BL and MTL +12008 | Faculty of Arts
- Provability in Hilbert-Style Calculi for Non-Classical Logics and ATPPublication without faculty affiliation
Loading network view...