scientific article; zbMATH DE number 966896

zbMATH Open0858.03011MaRDI QIDQ5690148FDOQ5690148

Authors: Tomasz Skura 

Publication date: 19 March 1997

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

provability logicrefutation rulesconstructive completeness proofs

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• Complementary proof nets for classical logic
• On refutation rules
• Refutations, proofs, and models in the modal logic K4
• A note on existential instantiation
• Refutation systems in modal logic

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)