Correspondences between gentzen and hilbert systems
From MaRDI portal
Recommendations
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
(31)- 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
- Towards a quantum logic of paradox
- 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
- Implicational tonoids and their representations
- On Gentzen relations associated with finite-valued logics preserving degrees of truth
- THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
- A gentle introduction to the Leibniz hierarchy
- 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)
