UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884): Difference between revisions

@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+The contraction rule and decision problems for logics without structural rules
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Undefinability of propositional quantifiers in the modal system S4
+Normal rank
@@ Property / cites work @@
+A sheaf representation and duality for finitely presented Heyting algebras
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+An extension of the Craig-Lyndon interpolation theorem
+Normal rank
@@ Property / cites work @@
+PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. I
@@ Property / cites work: Sequent-systems and groupoid models. I / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in non-classical logics
@@ Property / cites work: Interpolation in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and propositional quantifiers in modal logics
+Normal rank
@@ Property / cites work @@
+Q4889580
@@ Property / cites work: Q4889580 / rank @@
+Normal rank
@@ Property / cites work @@
+The many faces of interpolation
@@ Property / cites work: The many faces of interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
+Normal rank
@@ Property / cites work @@
+Predicate logics without the structure rules
@@ Property / cites work: Predicate logics without the structure rules / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s175502031400015x
+Normal rank
@@ Property / OpenAlex ID @@
+W2084466352
@@ Property / OpenAlex ID: W2084466352 / rank @@
+Normal rank