Intuitionistic Dual-intuitionistic Nets

DOI10.1093/LOGCOM/EXP044zbMath1247.03118OpenAlexW2094246250MaRDI QIDQ3094142

Olivier Laurent

Publication date: 21 October 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp044

zbMATH Keywords

intuitionistic logicclassical logicproof-netsdual-intuitionistic logiccomputational duality

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

An approach to innocent strategies as graphs

This page was built for publication: Intuitionistic Dual-intuitionistic Nets