All Stories

  1. Boolean Algebras in Visser Algebras

    Article • Notre Dame Journal of Formal Logic, January 2016, Duke University Press

    Professor Mohammad Ardeshir, Majid Alizadeh

  2. Completeness of intermediate logics with doubly negated axioms

    Article • December 2013, Wiley

    Professor Mohammad Ardeshir