A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations Conference Paper uri icon

publication date

  • 2000