scientific article; zbMATH DE number 490785

zbMATH Open0787.03019MaRDI QIDQ4278024FDOQ4278024

Authors: R. P. Nederpelt, Harrie de Swart 

Publication date: 1 February 1994

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

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

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)

Cited In (7)

• Some definitions of subjunctive implication, of counterfactual implication, and of related concepts
• Title not available (Why is that?)
• A few remarks on the implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• Intuitive idea of implication versus formal definition: how to define the corresponding degree

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)