Moore, Eoin, City University of New York Graduate Center, United States

• The Australasian Journal of Logic Vol. 18 No. 6 (2021): The Australasian Journal of Logic - Articles
  Hybrid Deduction-Refutation Systems for FDE-Based Logics
  Abstract  PDF