On the Expressive Power of IF-Logic with Classical Negation

DOI10.1007/978-3-642-20920-8_16zbMath1328.03029OpenAlexW91200808MaRDI QIDQ3003355

Santiago Figueira, Daniel Gorín, Rafael Grimson

Publication date: 27 May 2011

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_16

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies ⋮ Classical negation and game-theoretical semantics

This page was built for publication: On the Expressive Power of IF-Logic with Classical Negation