The logic Ł<sup>•</sup> (Q2933737): Difference between revisions

@@ Property / cites work @@
+The Gentzenization and decidability of RW
@@ Property / cites work: The Gentzenization and decidability of RW / rank @@
+Normal rank
@@ Property / cites work @@
+Caracterisation des algèbres de Nelson par des egalités, I
+Normal rank
@@ Property / cites work @@
+Constructive Logic with Strong Negation as a Substructural Logic
+Normal rank
@@ Property / cites work @@
+Implicit connectives of algebraizable logics
@@ Property / cites work: Implicit connectives of algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On some categories of involutive centered residuated lattices
+Normal rank
@@ Property / cites work @@
+On a definition of a variety of monadic \(\ell\)-groups.
+Normal rank
@@ Property / cites work @@
+The class of Kleene algebras satisfying an interpolation property and Nelson algebras
+Normal rank
@@ Property / cites work @@
+Quantifiers on distributive lattices
@@ Property / cites work: Quantifiers on distributive lattices / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic MV-algebras
@@ Property / cites work: On monadic MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Adding involution to residuated structures
@@ Property / cites work: Adding involution to residuated structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4660201
@@ Property / cites work: Q4660201 / rank @@
+Normal rank
@@ Property / cites work @@
+N-lattices and constructive logic with strong negation
+Normal rank
@@ Property / cites work @@
+Theorie der polyadischenMV-Algebren endlicher Ordnung
+Normal rank
@@ Property / cites work @@
+Polyadic MV-Algebras
@@ Property / cites work: Polyadic MV-Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal varieties of involutive residuated lattices
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank