Probability-like functionals and fuzzy logic
The author defines fuzzy logic on the set of functions \(I\to I\), i.e., fuzzy membership functions. He introduces a membership function \(\text{Val} (v,\pi)\) associated with a proof, meaning that, given information \(v\), the proof assures that the result holds at least to degree \(\text{Val} (v,\pi)\). The deduction operator of a theory \(S\) is \(D(v,\alpha)\) such that for every valuation \(v\), formula \(\alpha\), and proof \(\pi\) of \(\alpha\), \(D=\sup (\text{Val} (v,\pi))\). He also defines a fuzzy semantics as any fuzzy subset that does not contain the certain function. The theory so constructed, subject to a rule that implies inconsistency if the fuzzy membership degree is \(>1\), is shown to admit ultraproducts and to be logically compact. Applications are given to the description in this setting of the classes of super-additive measures, fuzzy necessity logic, upper and lower (Dempster) probabilities, and lower envelopes of probability measures.
- A methodology for uncertainty in knowledge-based systems
- Closure systems and L-subalgebras
- Continuous Model Theory. (AM-58)
- Default reasoning and possibility theory
- Fuzzy logic and approximate reasoning
- Fuzzy refutations for probability and multivalued logics
- Generated envelopes
- Generated necessities and possibilities
- Inferences in probability logic
- Lattice of fuzzy subalgebras and closure systems in I^ X
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- Upper and Lower Probabilities Induced by a Multivalued Mapping
- Varieties of modal (classificatory) and comparative probability
- Inferences in probability logic
- Bilattices for deductions in multi-valued logic
- Non-Archimedean fuzzy and probability logic
- scientific article; zbMATH DE number 166124 (Why is no real title available?)
- scientific article; zbMATH DE number 176278 (Why is no real title available?)
- scientific article; zbMATH DE number 1953475 (Why is no real title available?)
- Boolean fuzzy logic and generalized capacities
- Deductive systems of fuzzy logic
- Effectiveness and multivalued logics
- On revising fuzzy belief bases
This page was built for publication: Probability-like functionals and fuzzy logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1378735)