Negative Translations and Duality: Toward a Unified Approach

DOI10.1007/978-3-642-19211-1_12zbMath1318.03026OpenAlexW1639000805MaRDI QIDQ3080095

Mattia Petrolo

Publication date: 4 March 2011

Published in: Ludics, Dialogue and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19211-1_12

Mathematics Subject Classification ID

Classical first-order logic (03B10) Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Negative Translations and Duality: Toward a Unified Approach