All Stories

  1. State maps on semihoops
  2. Very true operators on MTL-algebras