Kripke-style Semantics of Orthomodular Logics

✍ Scribed by Yutaka Miyazaki

• Publisher: John Wiley and Sons
• Year: 2001
• Tongue: English
• Weight: 276 KB
• Volume: 47
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/1521-3870(200108)47:3<341::aid-malq341>3.0.co;2-4