scientific article; zbMATH DE number 490785

MaRDI QIDQ4278024zbMATH OpenFDO

Authors R. P. Nederpelt, Harrie de Swart

Publication date 1 February 1994

zbMATH Keywords

surveycounterfactualsdecision proceduresrelevant implicationmaterial implicationintuitionistic implicationstrict implicationdifferent forms of implication

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 3847358
• scientific article; zbMATH DE number 4047689
• Some definitions of subjunctive implication, of counterfactual implication, and of related concepts
• Cause as an implication
• Decision procedures for logics of consequential implication

Cited in

(7)

• scientific article; zbMATH DE number 2097005 (Why is no real title available?)
• Intuitive idea of implication versus formal definition: how to define the corresponding degree
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• scientific article; zbMATH DE number 4053574 (Why is no real title available?)
• A few remarks on the implication
• scientific article; zbMATH DE number 2059849 (Why is no real title available?)
• Some definitions of subjunctive implication, of counterfactual implication, and of related concepts

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