Intuitionistic dual-intuitionistic nets

DOI10.1093/LOGCOM/EXP044MaRDI QIDQ3094142zbMATH OpenOpenAlexFDO

Authors 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) Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 1612555
• Natural deduction for dual-intuitionistic logic
• Dual-intuitionistic logic
• LK, LJ, dual intuitionistic logic, and quantum logic
• A note on dual-intuitionistic logic

Cited in

(5)

• An approach to innocent strategies as graphs
• Semantics for dual and symmetric combinatory calculi
• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• Complement-topoi and dual intuitionistic logic
• Focusing Gentzen's LK proof system

This page was built for publication: Intuitionistic dual-intuitionistic nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3094142)