Correspondences between gentzen and hilbert systems

DOI10.2178/JSL/1154698583MaRDI QIDQ3410681zbMATH OpenOpenAlexFDO

Authors J. 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

consequence relationsubstructural logiclinear logicabstract algebraic logicGentzen systemsequentLeibniz operatorHilbert systemalgebraizabilityHilbertizabilitySuszko operatorprotoalgebraic system

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 440121
• Gentzen-style axiomatizations in equational logic
• On Hilbert's axiomatics of propositional logic
• Gentzen-like systems for partial propositional calculi. I. II
• Finitely equivalential Gentzen systems associated with arbitrary finite algebras

Cites work

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

Cited in

(28)

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

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

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