All Stories

  1. Relational Companions of Logics
  2. Generalized Explosion Principles
  3. Negation-Free Definitions of Paraconsistency
  4. Restricted Rules of Inference and Paraconsistency
  5. Mass problems and intuitionistic higher-order logic