Correspondences between gentzen and hilbert systems (Q3410681): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1154698583
+Normal rank
@@ Property / OpenAlex ID @@
+W1984223485
@@ Property / OpenAlex ID: W1984223485 / rank @@
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic Gentzen systems and the cut rule
@@ Property / cites work: Protoalgebraic Gentzen systems and the cut rule / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Basic Propositional Calculus I
@@ Property / cites work: Basic Propositional Calculus I / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic logic for classical conjunction and disjunction
+Normal rank
@@ Property / cites work @@
+Categorical abstract algebraic logic: Equivalent institutions
+Normal rank
@@ Property / cites work @@
+On a contraction-less intuitionistic propositional logic with conjunction and fusion
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rule separation and embedding theorems for logics without weakening
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Speaking about transitive frames in propositional languages
+Normal rank
@@ Property / cites work @@
+Some characterization theorems for infinitary universal Horn logic without equality
+Normal rank
@@ Property / cites work @@
+Definitional equivalence and algebraizability of generalized logical systems
+Normal rank
@@ Property / cites work @@
+The Suszko operator. I
@@ Property / cites work: The Suszko operator. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2765138
@@ Property / cites work: Q2765138 / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+A closer look at some subintuitionistic logics
@@ Property / cites work: A closer look at some subintuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
+Normal rank
@@ Property / cites work @@
+Some theorems on structural consequence operations
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463926
@@ Property / cites work: Q4463926 / rank @@
+Normal rank
@@ Property / cites work @@
+On congruence modularity in varieties of logic.
@@ Property / cites work: On congruence modularity in varieties of logic. / rank @@
+Normal rank
@@ Property / cites work @@
+The Relationship Between Two Commutators
@@ Property / cites work: The Relationship Between Two Commutators / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing equivalential and algebraizable logics by the Leibniz operator
+Normal rank
@@ Property / cites work @@
+Equivalential and algebraizable logics
@@ Property / cites work: Equivalential and algebraizable logics / rank @@
+Normal rank