On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic (Q4917992): Difference between revisions

@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Q4187817
@@ Property / cites work: Q4187817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175531
@@ Property / cites work: Q4175531 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems in modal logics. Sufficient conditions
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and implicit definability
@@ Property / cites work: Intuitionistic logic and implicit definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465446
@@ Property / cites work: Q5465446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451641
@@ Property / cites work: Q4451641 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation and Definability in Extensions of the Minimal Logic
+Normal rank
@@ Property / cites work @@
+Logic of classical refutability and class of extensions of minimal logic
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Der Interpolationssatz der intuitionistischen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Q4664638
@@ Property / cites work: Q4664638 / rank @@
+Normal rank