![](/img/cover-not-exists.png)
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
Figueira, Santiago, Gorín, Daniel, Grimson, RafaelVolume:
80
Language:
english
Journal:
Journal of Computer and System Sciences
DOI:
10.1016/j.jcss.2014.04.004
Date:
September, 2014
File:
PDF, 378 KB
english, 2014