Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the ImplicativeBCSKFragment ofS5

✍ Scribed by Lloyd Humberstone

• Publisher: Springer Netherlands
• Year: 2006
• Tongue: English
• Weight: 689 KB
• Volume: 35
• Category: Article
• ISSN: 0022-3611
• DOI: 10.1007/s10992-005-9023-6