- The Philosophical Basis of Intuitionistic Logic2006 | Faculty of Arts
- A nonstandard semantic framework for intuitionistic logic2016 | Faculty of Arts
- Some Properties of Kripke Semantics for Intuitionistic Logic2003 | Faculty of Arts
- The Intuitionistic Robinson Arithmetic(s)2015 | Faculty of Arts
- Consistency, Completeness, and Classicality2015 | Faculty of Arts
- Decision Problems of some Intermediate Logics and Their Fragments2010 | Faculty of Arts
- Completeness of predicate Gentzen calculus with respect to intuitionistic Kripke semantics2013 | Faculty of Arts
- What is the logic of inference?2008 | Faculty of Arts
- Some Modifications of Carnap's Modal Logic2012 | Faculty of Arts
- De Morgan logics with a notion of inconsistency2014 | Faculty of Arts
- Protonegationality and inconsistency lemmas Part I2017 | Faculty of Arts
- Forms of Language : An Introduction to Logic and Its Philosophy2015 | Faculty of Arts