A constructive logic with classical proofs and refutations

DOI10.1109/LICS52264.2021.9470649MaRDI QIDQ6651959zbMATH OpenFDO

Authors

Publication date 11 December 2024

Full work available at URL https://doi.org/10.1109/LICS52264.2021.9470649

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 7669420
• scientific article; zbMATH DE number 1678362
• A strong normalization result for classical logic
• A new constructive logic: classic logic
• scientific article; zbMATH DE number 1104448

This page was built for publication: A constructive logic with classical proofs and refutations

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