scientific article; zbMATH DE number 5148397

MaRDI QIDQ3434479zbMATH OpenFDO

Authors Sergei V. Babyonyshev

Publication date 2 May 2007

zbMATH Keywords

abstract algebraic logicaxiomatic closure relationsGentzen-style deductive systemHilbert-style deductive system

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Algebraic logic (03G99)

Recommendations

• Deduction-detachment theorem and Gentzen-style deductive systems
• scientific article; zbMATH DE number 3837987
• A Proof of the Characterization Theorem for Consequence Relations
• Two separation theorems for natural deduction
• A(nother) characterization of intuitionistic propositional logic
• Deduction theorem in congruential modal logics
• scientific article; zbMATH DE number 6019825
• scientific article; zbMATH DE number 3296223
• scientific article; zbMATH DE number 698628
• Deduction-detachment theorem in hidden k-logics

Cited in

(2)

• Deduction-detachment theorem and Gentzen-style deductive systems
• Characterization of strong day implication systems

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