Correspondences between gentzen and hilbert systems

DOI10.2178/jsl/1154698583zbMath1115.03095OpenAlexW1984223485MaRDI QIDQ3410681

James G. Raftery

Publication date: 29 November 2006

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1154698583

zbMATH Keywords

Hilbert systemlinear logicconsequence relationabstract algebraic logicLeibniz operatorsubstructural logicGentzen systemsequentalgebraizabilityHilbertizabilitySuszko operatorprotoalgebraic system

Mathematics Subject Classification ID

Algebraic logic (03G99) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22)

Related Items (25)

Polarity semantics for negation as a modal operator ⋮ The semantic isomorphism theorem in abstract algebraic logic ⋮ Coproduct and amalgamation of deductive systems by means of ordered algebras ⋮ On Gentzen relations associated with finite-valued logics preserving degrees of truth ⋮ Deduction-Detachment Theorem and Gentzen-Style Deductive Systems ⋮ Cut elimination, identity elimination, and interpolation in super-Belnap logics ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Abstract algebraic logic. An introductory chapter ⋮ Intuitionistic logic is a connexive logic ⋮ Structural and universal completeness in algebra and logic ⋮ Representations of structural closure operators ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS ⋮ On the complexity of the Leibniz hierarchy ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ Epimorphisms, definability and cardinalities ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Multi-term π-institutions and their equivalence ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ \(M\)-sets and the representation problem ⋮ Probabilized Sequent Calculus and Natural Deduction System for Classical Logic

Cites Work

• The semantics and proof theory of linear logic
• A propositional logic with explicit fixed points
• Algebraic logic for classical conjunction and disjunction
• Some theorems on structural consequence operations
• Speaking about transitive frames in propositional languages
• Definitional equivalence and algebraizability of generalized logical systems
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• A closer look at some subintuitionistic logics
• A survey of abstract algebraic logic
• Algebraic semantics for deductive systems
• The Suszko operator. I
• Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
• Categorical abstract algebraic logic: Equivalent institutions
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• Protoalgebraic Gentzen systems and the cut rule
• Rule separation and embedding theorems for logics without weakening
• Equivalential and algebraizable logics
• Some characterization theorems for infinitary universal Horn logic without equality
• Basic Propositional Calculus I
• The Relationship Between Two Commutators
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• On congruence modularity in varieties of logic.
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Correspondences between gentzen and hilbert systems