Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

✍ Scribed by Figueira, Santiago; Gorín, Daniel; Grimson, Rafael

• Book ID: 122330004
• Publisher: Elsevier Science
• Year: 2014
• Tongue: English
• Weight: 378 KB
• Volume: 80
• Category: Article
• ISSN: 0022-0000
• DOI: 10.1016/j.jcss.2014.04.004