pub fn t_norm_godel(a: f32, b: f32) -> f32Expand description
Many-valued / fuzzy logic over truth degrees in [0, 1]. Distinct from the
Bayesian probabilistic modality: fuzzy conjunction uses a t-norm (not a
product), modelling DEGREES of (partial) satisfaction — e.g. a right that is
partially fulfilled. Each proposition carries its truth degree as an f32 in the
quin metadata. Zero-heap throughout.
Gödel t-norm (fuzzy AND) — the minimum.