Sciweavers

MLQ
2008

On contraction and the modal fragment

14 years 12 days 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
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where MLQ
Authors Kai Brünnler, Dieter Probst, Thomas Studer
Comments (0)