On reasoning expressions and the nature of deduction rules

zbMATH Open0687.03035MaRDI QIDQ1262861

Shaokui Mo

Publication date: 1990

Published in: Chinese Annals of Mathematics. Series B (Search for Journal in Brave)

zbMATH Keywords

deduction rulesinduction methodreasoning procedure

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items (1)

Reflecting rules: a note on generalizing the deduction theorem

Recommendations

• Reflecting rules: a note on generalizing the deduction theorem 👍 👎
• On the justification of deduction and induction 👍 👎
• Reasoning in expressive description logics 👍 👎
• On the Dependencies of Logical Rules 👍 👎
• On rules of inference and the meanings of logical constants 👍 👎
• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction 👍 👎
• On Natural Deduction in Dependence Logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: On reasoning expressions and the nature of deduction rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1262861)