A cut-free gentzen-type system for the logic of the weak law of excluded middle

✍ Scribed by Branislav R. Boričić

• Publisher: Springer Netherlands
• Year: 1986
• Tongue: English
• Weight: 876 KB
• Volume: 45
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/bf01881548