Logics with a (Lattice) Disjunction and their \Completeness Properties

Categories and tags

  • Abstrakt