Cut Elimination inside a Deep Inference System for Classical Predicate Logic

✍ Scribed by Kai Brünnler

• Publisher: Springer Netherlands
• Year: 2006
• Tongue: English
• Weight: 308 KB
• Volume: 82
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/s11225-006-6605-4