(Dual) Hoops Have Unique Halving (Q4913866): Difference between revisions

@@ Property / cites work @@
+A proof of completeness for continuous first-order logic
+Normal rank
@@ Property / cites work @@
+A note on full intuitionistic linear logic
@@ Property / cites work: A note on full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Distributivity in Ł\(_{\aleph_0}\) and other sentential logics
+Normal rank
@@ Property / cites work @@
+Axiomatization of the infinite-valued predicate calculus
+Normal rank
@@ Property / cites work @@
+Q4411217
@@ Property / cites work: Q4411217 / rank @@
+Normal rank
@@ Property / cites work @@
+Brouwerian Semilattices
@@ Property / cites work: Brouwerian Semilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5441067
@@ Property / cites work: Q5441067 / rank @@
+Normal rank
@@ Property / cites work @@
+More proofs of an axiom of Łukasiewicz
@@ Property / cites work: More proofs of an axiom of Łukasiewicz / rank @@
+Normal rank
@@ Property / cites work @@
+Some new results on decidability for elementary algebra and geometry
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+Q3433171
@@ Property / cites work: Q3433171 / rank @@
+Normal rank