UNIFICATION IN INTERMEDIATE LOGICS (Q3450801): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2396169190
@@ Property / OpenAlex ID: W2396169190 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible and derivable rules in intuitionistic logic
+Normal rank
@@ Property / cites work @@
+On two problems of Harvey Friedman
@@ Property / cites work: On two problems of Harvey Friedman / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate logics and Visser's rules
@@ Property / cites work: Intermediate logics and Visser's rules / rank @@
+Normal rank
@@ Property / cites work @@
+A(nother) characterization of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+On unification and admissible rules in Gabbay-de Jongh logics
+Normal rank
@@ Property / cites work @@
+Structural completeness of Gödel's and Dummett's propositional calculi
+Normal rank
@@ Property / cites work @@
+Unification, finite duality and projectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Structural completeness in fuzzy logics
@@ Property / cites work: Structural completeness in fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Completeness in Substructural Logics
@@ Property / cites work: Structural Completeness in Substructural Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of admissible rules
@@ Property / cites work: Complexity of admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Proof theory for admissible rules
@@ Property / cites work: Proof theory for admissible rules / rank @@
+Normal rank
@@ Property / cites work @@
+Writing out unifiers for formulas with coefficients in intuitionistic logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3450801