Correspondences between gentzen and hilbert systems
type: Item
instance of: scholarly article
title: Correspondences between gentzen and hilbert systems
zbMATH Open document ID: 1115.03095
published in: Journal of Symbolic Logic
publication date: 2006-11-29T00:00:00Z
Mathematics Subject Classification ID: 03G99
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03B47
zbMATH DE Number: 5076724
zbMATH Keywords: Gentzen system
zbMATH Keywords: Hilbert system
zbMATH Keywords: sequent
zbMATH Keywords: consequence relation
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: algebraizability
zbMATH Keywords: protoalgebraic system
zbMATH Keywords: Hilbertizability
zbMATH Keywords: Leibniz operator
zbMATH Keywords: Suszko operator
zbMATH Keywords: linear logic
zbMATH Keywords: substructural logic
author: J. G. Raftery
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2178/jsl/1154698583
OpenAlex ID: W1984223485
cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
cites work: Protoalgebraic Gentzen systems and the cut rule
cites work: The semantics and proof theory of linear logic
cites work: Basic Propositional Calculus I
cites work: Algebraic logic for classical conjunction and disjunction
cites work: Categorical abstract algebraic logic: Equivalent institutions
cites work: On a contraction-less intuitionistic propositional logic with conjunction and fusion
cites work: A propositional logic with explicit fixed points
cites work: A survey of abstract algebraic logic
cites work: Rule separation and embedding theorems for logics without weakening
cites work: Q4715441
cites work: Speaking about transitive frames in propositional languages
cites work: Some characterization theorems for infinitary universal Horn logic without equality
cites work: Definitional equivalence and algebraizability of generalized logical systems
cites work: The Suszko operator. I
cites work: Encyclopaedia of mathematics. Supplement volume III
cites work: Protoalgebraic logics
cites work: A closer look at some subintuitionistic logics
cites work: Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
cites work: Some theorems on structural consequence operations
cites work: Algebraic semantics for deductive systems
cites work: Q4463926
cites work: On congruence modularity in varieties of logic.
cites work: The Relationship Between Two Commutators
cites work: Characterizing equivalential and algebraizable logics by the Leibniz operator
cites work: Equivalential and algebraizable logics
DOI: 10.2178/JSL/1154698583
description: scientific article