1. Ardeshir, M., Aspects of Basic Logic, Ph.D. thesis, Marquette University, Milwaukee, 1995.
2. Ardeshir, M., and W. Ruitenburg, "Basic propositional calculus I", Mathematical Logic Quarterly, vol. 44 (1998), pp. 317–43.
3. Ruitenburg, W., "Constructive logic and the paradoxes", Modern Logic, vol. 1 (1991), pp. 271–301.
4. Ruitenburg, W., "Basic predicate calculus", Notre Dame Journal of Formal Logic, vol. 39 (1998), pp. 18–46.
5. Sasaki, K., "A G"entzen-style formulation for Visser's propositional logic, Nanzan Management Review, no. 12 (1998), pp. 343–51.