Introduction of implication and generalization in axiomatic calculi

zbMATH Open1087.03008MaRDI QIDQ3367294FDOQ3367294

Authors: Arthur Buchsbaum, Jean-Yves Béziau 

Publication date: 24 January 2006

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

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

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)