Vol. 18 No. 6 (2021): The Australasian Journal of Logic

Articles

• Hybrid Deduction-Refutation Systems for FDE-Based Logics

  Eoin Moore

  599-615

  • PDF

• The Strict/Tolerant Family Continued: Quantifiers and Modalities

  Melvin Fitting

  616-644

  • PDF

• Strong Depth Relevance

  Shay Allen Logan

  645-656

  • PDF