Mediative Fuzzy Logic was conceived as a practical scheme for reconciling hesitant or conflicting assessments in fuzzy control and decision-making. However, its logical and semantic foundations remain underdeveloped, especially beyond operational type-1 settings. This article develops a unified account of the type-1 core together with interval type-2, granular type-3, and quantum extensions. We characterize the mediative operator as a convex aggregation controlled by hesitation and contradiction, model mediative truth values as independent truth-falsity pairs in a continuous bilattice-like structure, and introduce a propositional system extending a standard t-norm-based fuzzy logic with a mediative connective. We establish soundness, paraconsistency, and conservativity over the underlying fuzzy base for formulas without mediation, and formulate coherent semantic extensions to interval type-2 truth values, granule-indexed local evaluations, and effects and density operators on Hilbert spaces. An autonomous-braking sensor-fusion example illustrates how the framework supports transparent, conservative, and safety-first decisions under incomplete, heterogeneous, and mildly contradictory evidence. Under suitable assumptions, the higher-level formulations reduce to the type-1 case, clarifying coherence across levels and reliably supporting future work in intelligent decision systems.

翻译：调解模糊逻辑最初被构想为一种实用方案，用于协调模糊控制与决策过程中犹豫或冲突的评估。然而，其逻辑与语义基础仍发展不足，尤其在可操作的一型环境之外。本文系统阐述了从一型核心到区间二型、粒状三型及量子扩展的统一理论。我们将调解算子刻画为由犹豫与矛盾控制的凸聚合过程，将调解真值建模为连续双格结构中的独立真-假对，并引入一个命题系统，通过在标准t-模模糊逻辑基础上扩展调解连接词。我们证明了该逻辑对无调解公式具有可靠性、次协调性及在底层模糊逻辑基础上的保守性，并形式化地定义了区间二型真值、粒索引局部评估以及希尔伯特空间上的效应与密度算子的连贯语义扩展。一个自主制动传感器融合实例展示了该框架如何在信息不完全、异构且存在轻度矛盾证据的情况下，支持透明、保守且安全优先的决策。在适当假设下，高阶表述可约化为一型情形，从而阐明各层次间的连贯性，并为未来智能决策系统的研究提供可靠支持。