scientific article; zbMATH DE number 1941685

MaRDI QIDQ4408740zbMATH OpenFDO

Authors Tomasz Skura

Publication date 12 November 2003

zbMATH Keywords

intuitionistic logicnon-theoremsprovabilitypure refutation rulesrefutability

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4158595
• scientific article; zbMATH DE number 1922478
• Refutation systems in modal logic
• An improved refutation system for intuitionistic predicate logic
• The method of axiomatic rejection for the intuitionistic propositional logic

Cited in

(10)

• An improved refutation system for intuitionistic predicate logic
• On refutation rules
• THE CLASSICAL PROPOSITIONAL CALCULUS OF ARGUMENTS
• scientific article; zbMATH DE number 3859093 (Why is no real title available?)
• scientific article; zbMATH DE number 4158595 (Why is no real title available?)
• scientific article; zbMATH DE number 1163928 (Why is no real title available?)
• scientific article; zbMATH DE number 1922478 (Why is no real title available?)
• scientific article; zbMATH DE number 804147 (Why is no real title available?)
• Refutation calculi for certain intermediate propositional logics
• The method of axiomatic rejection for the intuitionistic propositional 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 Q4408740)