Deduction-detachment theorem and Gentzen-style deductive systems

DOI10.1007/978-3-319-74772-9_3MaRDI QIDQ4586413zbMATH OpenOpenAlexFDO

Authors Sergey Babenyshev

Publication date 13 September 2018

Published in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-74772-9_3

zbMATH Keywords

Gentzen systemsabstract algebraic logicdeduction-detachment theoremprotoalgebraic logicsclosure relations

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Recommendations

• scientific article; zbMATH DE number 5148397
• scientific article; zbMATH DE number 753772
• A general treatment for the deduction theorem in open calculi
• Deduction theorems for weak implicational logics
• Contextual deduction theorems

Cites work

• scientific article; zbMATH DE number 3875362 (Why is no real title available?)
• scientific article; zbMATH DE number 5148397 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• Algebraic aspects of deduction theorems
• Correspondences between gentzen and hilbert systems
• Fully adequate Gentzen systems and the deduction theorem
• Leibniz filters and the strong version of a protoalgebraic logic
• On the closure properties of the class of full G-models of a deductive system
• Protoalgebraic logics
• Some theorems on structural consequence operations
• Varieties with equationally definable principal congruences
• Weakly algebraizable logics

Cited in

(5)

• scientific article; zbMATH DE number 5148397 (Why is no real title available?)
• Deduction-detachment theorem in hidden k-logics
• George Boole's deductive system
• Key notions of Tarski's methodology of deductive systems
• scientific article; zbMATH DE number 4041863 (Why is no real title available?)

This page was built for publication: Deduction-detachment theorem and Gentzen-style deductive systems

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