A Measure-Theoretic Derivation of Zadeh Fuzzy Logic
Abstract
Zadeh fuzzy logic is normally introduced by assigning scalar membership degrees and postulating standard complement, minimum conjunction, and maximum disjunction. We derive this calculus from a strictly positive atomless normalized Boolean measure algebra. Equality of measure sends Boolean complement uniquely to 1−x, but it cannot send meet to a single-valued operation: the exact scalar image of conjunction is the overlap interval [(x+y−1)+,min{x,y}]. We quantify the information lost under scalarization, prove that no nontrivial measure-preserving compression can retain meet, and show that the overlap operation is associative as a hyperoperation. Zadeh conjunction min{x,y} is then forced as the unique nondecreasing idempotent selection and is realized globally by nested event chains; its De Morgan dual is Zadeh disjunction max{x,y}. Thus the min--max--standard-negation calculus follows from measure theory once the nesting commitment is made explicit. The \Luk{} and product conjunctions arise as minimum-overlap and independent-factor selections, clarifying alternative scalarizations. Exact minimax results, an ordered-valued extension, and a three-dimensional realization obstruction delimit what scalar fuzzy logic retains from Boolean structure.
Related
- A Set-Theoretic Translation of Modal Logic via Forcing
- Measure Over Fuzzy P- Field and Some of its Properties
- Scaling limits for Moran processes on metric strategy spaces: an Eulerian derivation of pure replicator and Fleming--Viot measure-valued PDEs
- An operator-theoretic characterization of Gaussian measure singularity under mean shifts
- Geometric and measure-theoretic characterizations of the measure-determining property of balls in metric spaces
BibTeX
@misc{majumdar2026measuretheoretic,
title = {{A Measure-Theoretic Derivation of Zadeh Fuzzy Logic}},
author = {Angshul Majumdar},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.28510},
eprint = {2609.28510},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.28510},
}
RIS
TY - UNPB
TI - A Measure-Theoretic Derivation of Zadeh Fuzzy Logic
AU - Angshul Majumdar
PY - 2026
DA - 2026/09/21
PB - arXiv
DO - 10.48550/arxiv.2609.28510
UR - https://arxiv.org/abs/2609.28510
AB - Zadeh fuzzy logic is normally introduced by assigning scalar membership degrees and postulating standard complement, minimum conjunction, and maximum disjunction. We derive this calculus from a strictly positive atomless normalized Boolean measure algebra. Equality of measure sends Boolean complement uniquely to 1−x, but it cannot send meet to a single-valued operation: the exact scalar image of conjunction is the overlap interval [(x+y−1)^+,min{x,y}]. We quantify the information lost under scalarization, prove that no nontrivial measure-preserving compression can retain meet, and show that the overlap operation is associative as a hyperoperation. Zadeh conjunction min{x,y} is then forced as the unique nondecreasing idempotent selection and is realized globally by nested event chains; its De Morgan dual is Zadeh disjunction max{x,y}. Thus the min--max--standard-negation calculus follows from measure theory once the nesting commitment is made explicit. The \Luk{} and product conjunctions arise as minimum-overlap and independent-factor selections, clarifying alternative scalarizations. Exact minimax results, an ordered-valued extension, and a three-dimensional realization obstruction delimit what scalar fuzzy logic retains from Boolean structure.
ER -