Δ-Randomized Divergent Degree and Consistent Degree of Theories in ΠΔ

In quantitative logic, the Δ operator plays a crucial role in defuzzification by mapping multi-valued truth values to classical two-valued ones. This paper introduces and investigates the Δ-randomized divergent degree and consistent degree of theories in the continuous-valued product logic system ΠΔ. These notions measure, respectively, the probability that all formulas in a theory are simultaneously completely true and the degree of internal inconsistency of the theory. Basic properties including boundedness, monotonicity, additivity, and duality are established. The relationship between divergent degree and logical consequence is investigated, and the divergent degree between two theories is defined, with the triangle inequality proved, thereby constructing a pseudo-metric space on theories. As applications, a criterion for almost surely consistent theories is provided, and the existence of maximal consistent subtheories is proved with an illustrative example. This work enriches quantitative logic theory in product logic systems and provides a unified tool for measuring inconsistency in theories under uncertainty.

Authors

Institutions

Publication Details

Journal
Axioms
Published
2026-04-27
DOI
https://doi.org/10.3390/axioms15050314
Primary Topic
Advanced Algebra and Logic
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Δ-Randomized Divergent Degree and Consistent Degree of Theories in ΠΔ

Yunyun Sui, Jiangshan Hu
Axioms
Advanced Algebra and Logic
article

Δ-Randomized Divergent Degree and Consistent Degree of Theories in ΠΔ

Yunyun Sui, Jiangshan Hu
article en

Abstract

In quantitative logic, the Δ operator plays a crucial role in defuzzification by mapping multi-valued truth values to classical two-valued ones. This paper introduces and investigates the Δ-randomized divergent degree and consistent degree of theories in the continuous-valued product logic system ΠΔ. These notions measure, respectively, the probability that all formulas in a theory are simultaneously completely true and the degree of internal inconsistency of the theory. Basic properties including boundedness, monotonicity, additivity, and duality are established. The relationship between divergent degree and logical consequence is investigated, and the divergent degree between two theories is defined, with the triangle inequality proved, thereby constructing a pseudo-metric space on theories. As applications, a criterion for almost surely consistent theories is provided, and the existence of maximal consistent subtheories is proved with an illustrative example. This work enriches quantitative logic theory in product logic systems and provides a unified tool for measuring inconsistency in theories under uncertainty.

AxiomsVol. 15(5)
Weifang University (CN)
Natural Science Foundation of Shandong Province
Openalex Percentile: Top 5%
Advanced Algebra and Logic
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.