Intuitionistic dual-intuitionistic nets

DOI10.1093/LOGCOM/EXP044zbMATH Open1247.03118OpenAlexW2094246250MaRDI QIDQ3094142FDOQ3094142

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

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

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)

Cited In (5)

• Semantics for dual and symmetric combinatory calculi
• An approach to innocent strategies as graphs
• Title not available (Why is that?)
• 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)