An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic

✍ Scribed by Guido Fiorino

• Book ID: 110362377
• Publisher: Springer Netherlands
• Year: 2001
• Tongue: English
• Weight: 154 KB
• Volume: 27
• Category: Article
• ISSN: 0168-7433
• DOI: 10.1023/a:1017515831550