Reverse constructive logic

zbMATH Open1195.03034MaRDI QIDQ3567768FDOQ3567768

Authors: Nikolay N. Nepeivoda 

Publication date: 17 June 2010

Recommendations

• scientific article; zbMATH DE number 16511
• On reversible combinatory logic
• scientific article; zbMATH DE number 3887681
• scientific article; zbMATH DE number 4004179
• scientific article; zbMATH DE number 4053610

zbMATH Keywords

realizabilityreverse logicreversible actions

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cited In (1)

• Reverse formalism 16

This page was built for publication: Reverse constructive logic

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