All Stories

  1. Why Intuitionistic Relevant Logic Cannot Be a Core Logic