On contraction and the modal fragment

13 years 11 months ago

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

MLQ 2008 | Modal Fragment | Sequent | Standard Sequent Calculus |

claim paper

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	MLQ
Authors	Kai Brünnler, Dieter Probst, Thomas Studer

Comments (0)