Reverse constructive logic

MaRDI QIDQ3567768zbMATH OpenFDO

Authors Nikolay N. Nepeivoda

Publication date 17 June 2010

zbMATH Keywords

realizabilityreverse logicreversible actions

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

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

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)