All Stories

  1. A family of metainferential logics
  2. A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES