Distinguishing standard SBL-algebras with involutive negations by propositional formulas (Q3545212): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.200610057
+Normal rank
@@ Property / OpenAlex ID @@
+W2015505402
@@ Property / OpenAlex ID: W2015505402 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated logics based on strict triangular norms with an involutive negation
+Normal rank
@@ Property / cites work @@
+Residuated fuzzy logics with an involutive negation
+Normal rank
@@ Property / cites work @@
+Equational characterization of the subvarieties of BL generated by t-norm algebras
+Normal rank
@@ Property / cites work @@
+Q4440523
@@ Property / cites work: Q4440523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4266133
@@ Property / cites work: Q4266133 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of semi-groups on a compact manifold with boundary
+Normal rank