Lattice and metric completions of the classical logic metric space and a comparison1 (Q2987925): Difference between revisions

@@ Property / cites work @@
+Categorial characterization of the MacNeille completion
+Normal rank
@@ Property / cites work @@
+Q5580266
@@ Property / cites work: Q5580266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4701025
@@ Property / cites work: Q4701025 / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice-valued modal propositional logic and its completeness
+Normal rank
@@ Property / cites work @@
+Theory of truth degrees of propositions in two-valued logic
+Normal rank
@@ Property / cites work @@
+A topological characterization of consistency of logic theories in propositional logic
+Normal rank
@@ Property / cites work @@
+Quantitative logic
@@ Property / cites work: Quantitative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Bosbach and Riečan states based on relative negations in residuated lattices
+Normal rank