Deduction-Detachment Theorem and Gentzen-Style Deductive Systems

DOI10.1007/978-3-319-74772-9_3zbMath1459.03100OpenAlexW2790629682MaRDI QIDQ4586413

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

abstract algebraic logicprotoalgebraic logicsGentzen systemsdeduction-detachment theoremclosure relations

Mathematics Subject Classification ID

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

Cites Work

• Algebraic aspects of deduction theorems
• Varieties with equationally definable principal congruences
• Some theorems on structural consequence operations
• On the closure properties of the class of full G-models of a deductive system
• Correspondences between gentzen and hilbert systems
• Weakly algebraizable logics
• Protoalgebraic logics
• Leibniz filters and the strong version of a protoalgebraic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item