Non-associative substructural logics: alternative axiomatization, algebraic and logical properties

Categories and tags

  • Abstrakt