Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems (Q853469): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.fss.2006.02.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2068342173
@@ Property / OpenAlex ID: W2068342173 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of McNaughton functions of one variable
+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 @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+Q2757760
@@ Property / cites work: Q2757760 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726943
@@ Property / cites work: Q5726943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160890
@@ Property / cites work: Q4160890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2793522
@@ Property / cites work: Q2793522 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness and applications of the formal system \(\mathcal L^\ast\)
+Normal rank
@@ Property / cites work @@
+Q4806275
@@ Property / cites work: Q4806275 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPARISON OF DEDUCTION THEOREMS IN DIVERSE LOGIC SYSTEMS
+Normal rank
@@ Property / cites work @@
+Theory of truth degrees of propositions in two-valued logic
+Normal rank
@@ Property / cites work @@
+Integrated semantics and logic metric spaces
@@ Property / cites work: Integrated semantics and logic metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic
+Normal rank
@@ Property / cites work @@
+A triangular-norm-based propositional fuzzy logic
@@ Property / cites work: A triangular-norm-based propositional fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new theory consistency index based on deduction theorems in several logic systems
+Normal rank
@@ Property / cites work @@
+Consistency degrees of theories in some systems of propositional fuzzy logic
+Normal rank