Sciweavers

MLQ
2008
103views more  MLQ 2008»
13 years 10 months ago
On contraction and the modal fragment
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
Kai Brünnler, Dieter Probst, Thomas Studer