On refutation rules

DOI10.1007/s11787-011-0035-4zbMath1264.03037OpenAlexW2070527560MaRDI QIDQ1941727

Tomasz Skura

Publication date: 21 March 2013

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-011-0035-4

zbMATH Keywords

modal logicaxiomatizationrefutation systemsrefutation search

Mathematics Subject Classification ID

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

Related Items (3)

Complementary proof nets for classical logic ⋮ A meta-logic of inference rules: Syntax ⋮ Structuring co-constructive logic for proofs and refutations

Cites Work

• Refutations, proofs, and models in the modal logic K4
• A refutation theory
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On refutation rules