scientific article; zbMATH DE number 4158595

MaRDI QIDQ3486541zbMATH OpenFDO

Authors Tomasz Skura

Publication date 1990

zbMATH Keywords

matrix semanticsprovabilitysequentsrefutabilityrefutation rule

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)

Recommendations

• scientific article; zbMATH DE number 1941685
• scientific article; zbMATH DE number 966896
• Refutation systems in modal logic
• Admissibility and refutation: some characterisations of intermediate logics
• On refutation rules

Cited in

(12)

• On refutation rules
• Is `no' a force-indicator? Yes, sooner or later!
• Refutation calculi for certain intermediate propositional logics
• Refutation systems: an overview and some applications to philosophical logics
• Complementary proof nets for classical logic
• Rejection: a historico-epistemological view
• Schematic refutations of formula schemata
• Refutation systems in modal logic
• scientific article; zbMATH DE number 1922478 (Why is no real title available?)
• scientific article; zbMATH DE number 3859093 (Why is no real title available?)
• Structuring co-constructive logic for proofs and refutations
• scientific article; zbMATH DE number 1941685 (Why is no real title available?)

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 Q3486541)