Introduction of implication and generalization in axiomatic calculi

MaRDI QIDQ3367294zbMATH OpenFDO

Authors Arthur Buchsbaum, Jean-Yves Béziau

Publication date 24 January 2006

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Recommendations

• A general treatment for the deduction theorem in open calculi
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• The implicational nature of logic: A structuralist account
• Begründung einer strengen Implikation
• The one variable implicational calculus

This page was built for publication: Introduction of implication and generalization in axiomatic calculi

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