Checking Admissibility Using Natural Dualities (Q4617979): Difference between revisions

@@ Property / cites work @@
+Equational bases for varieties of Ockham algebras
@@ Property / cites work: Equational bases for varieties of Ockham algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750911
@@ Property / cites work: Q5750911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility via natural dualities
@@ Property / cites work: Admissibility via natural dualities / rank @@
+Normal rank
@@ Property / cites work @@
+Sugihara algebras: admissibility algebras via the test spaces method
+Normal rank
@@ Property / cites work @@
+Q3912851
@@ Property / cites work: Q3912851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674731
@@ Property / cites work: Q3674731 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural completeness in fuzzy logics
@@ Property / cites work: Structural completeness in fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible rules in the implication-negation fragment of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4220406
@@ Property / cites work: Q4220406 / rank @@
+Normal rank
@@ Property / cites work @@
+Coproducts of De Morgan algebras
@@ Property / cites work: Coproducts of De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3033816
@@ Property / cites work: Q3033816 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic completeness results for R-mingle and its extensions
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Best solving modal equations
@@ Property / cites work: Best solving modal equations / rank @@
+Normal rank
@@ Property / cites work @@
+On the admissible rules of intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Modal Logics
@@ Property / cites work: Admissible Rules of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible Rules of Lukasiewicz Logic
@@ Property / cites work: Admissible Rules of Lukasiewicz Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+An Avron rule for fragments of R-mingle
@@ Property / cites work: An Avron rule for fragments of R-mingle / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in De Morgan algebras
@@ Property / cites work: Admissibility in De Morgan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility in Finitely Generated Quasivarieties
+Normal rank
@@ Property / cites work @@
+Q4380501
@@ Property / cites work: Q4380501 / 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 @@
+OPTIMAL NATURAL DUALITIES: THE STRUCTURE OF FAILSETS
+Normal rank