Two Proof Procedures for a Cardinality Based Language in Propositional Calculus.

Belaid Benhamou Lakhdar Sais Pierre Siegel

Published in: STACS (1994)

Keyphrases

propositional calculus
proof procedures
inference rules
programming language
winning strategy
natural language
operational semantics
proof procedure