Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle

✍ Scribed by Dmitrij Skvortsov

• Book ID: 113079970
• Publisher: Springer Netherlands
• Year: 2012
• Tongue: English
• Weight: 298 KB
• Volume: 100
• Category: Article
• ISSN: 0039-3215
• DOI: 10.1007/s11225-012-9382-2