Deduction-detachment theorem and Gentzen-style deductive systems

DOI10.1007/978-3-319-74772-9_3zbMATH Open1459.03100OpenAlexW2790629682MaRDI QIDQ4586413FDOQ4586413

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

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

zbMATH Keywords

Gentzen systemsabstract algebraic logicdeduction-detachment theoremprotoalgebraic logicsclosure relations

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Protoalgebraic logics
• Correspondences between gentzen and hilbert systems
• Algebraic aspects of deduction theorems
• Some theorems on structural consequence operations
• Leibniz filters and the strong version of a protoalgebraic logic
• Weakly algebraizable logics
• Varieties with equationally definable principal congruences
• Fully adequate Gentzen systems and the deduction theorem
• On the closure properties of the class of full G-models of a deductive system
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Deduction-detachment theorem in hidden k-logics
• George Boole's deductive system
• Key notions of Tarski's methodology of deductive systems
• Title not available (Why is that?)

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)