scientific article; zbMATH DE number 966896

MaRDI QIDQ5690148zbMATH OpenFDO

Authors Tomasz Skura

Publication date 19 March 1997

zbMATH Keywords

provability logicrefutation rulesconstructive completeness proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract deductive systems (03B22)

Recommendations

• On refutation rules
• Refutation systems in modal logic
• scientific article; zbMATH DE number 1922478

Cited in

(7)

• On refutation rules
• scientific article; zbMATH DE number 4158595 (Why is no real title available?)
• Complementary proof nets for classical logic
• Refutation systems in modal logic
• Refutations, proofs, and models in the modal logic K4
• A note on existential instantiation
• Structuring co-constructive logic for proofs and refutations

This page was built for publication:

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