Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Q4586413): 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.1007/978-3-319-74772-9_3
+Normal rank
@@ Property / OpenAlex ID @@
+W2790629682
@@ Property / OpenAlex ID: W2790629682 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3434479
@@ Property / cites work: Q3434479 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems on structural consequence operations
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of deduction theorems
@@ Property / cites work: Algebraic aspects of deduction theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly algebraizable logics
@@ Property / cites work: Weakly algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Leibniz filters and the strong version of a protoalgebraic logic
+Normal rank
@@ Property / cites work @@
+On the closure properties of the class of full G-models of a deductive system
+Normal rank
@@ Property / cites work @@
+Q2772907
@@ Property / cites work: Q2772907 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with equationally definable principal congruences
+Normal rank
@@ Property / cites work @@
+Q3342633
@@ Property / cites work: Q3342633 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4586413