A semantic study of the first-order predicate logic with uncertainty involved
From MaRDI portal
(Redirected from Publication:1794483)
Recommendations
- Theory and applications of the truth degrees of first-order fuzzy predicate formulas based on an interpretation model
- Measure Logic
- THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH
- Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions
- First-order logic -- The unity of fuzziness and randomness
Cites work
- Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence
- Disjunctive elimination rule and its application in MTL
- Foundation of credibilistic logic
- scientific article; zbMATH DE number 1014107 (Why is no real title available?)
- scientific article; zbMATH DE number 1095142 (Why is no real title available?)
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Necessity Measures and the Resolution Principle
- On equivalent forms of fuzzy logic systems NM and IMTL
- Probabilistic logic
- Stochastic independence in a coherent setting
- Uncertainty theory
Cited in
(6)- Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions
- The covariance of uncertain variables: definition and calculation formulae
- A new model and algorithm for uncertain random parallel machine scheduling problem
- scientific article; zbMATH DE number 2072493 (Why is no real title available?)
- A modified uncertain entailment model
- A concept of nucleolus for uncertain coalitional game with application to profit allocation
This page was built for publication: A semantic study of the first-order predicate logic with uncertainty involved
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1794483)
