You are here

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

fcarrillo's picture
TitleIndependence friendly logic with classical negation via flattening is a second-order logic with weak dependencies
Publication TypeJournal Article
Year of Publication2014
AuthorsFigueira, S., D. Gorín, and R. Grimson
JournalJournal of Computer and System Sciences
Volume80
Pagination1102–1118