A Characterization of the Classes of Finite Tree Frames Which are Adequate for the Intuitionistic Logic

✍ Scribed by Robert E. Kirk

• Publisher: John Wiley and Sons
• Year: 1980
• Tongue: English
• Weight: 334 KB
• Volume: 26
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.19800263202