On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames

✍ Scribed by Skvortsov, D.

• Book ID: 115494255
• Publisher: Oxford University Press
• Year: 2006
• Tongue: English
• Weight: 158 KB
• Volume: 16
• Category: Article
• ISSN: 0955-792X
• DOI: 10.1093/logcom/exl031