scientific article; zbMATH DE number 4158595

zbMATH Open0706.03013MaRDI QIDQ3486541FDOQ3486541

Authors: Tomasz Skura 

Publication date: 1990

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

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

zbMATH Keywords

matrix semanticsprovabilitysequentsrefutabilityrefutation rule

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• Structuring co-constructive logic for proofs and refutations
• Complementary proof nets for classical logic
• Rejection: a historico-epistemological view
• Title not available (Why is that?)
• Title not available (Why is that?)
• Is `no' a force-indicator? Yes, sooner or later!
• Refutation calculi for certain intermediate propositional logics
• Schematic refutations of formula schemata
• 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 Q3486541)