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

Kategorie a štítky

  • Abstrakt