Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions
From MaRDI portal
Publication:1606725
DOI10.1007/s005000000065zbMath0992.03030OpenAlexW1986884618MaRDI QIDQ1606725
Publication date: 25 July 2002
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s005000000065
Related Items (5)
Belief functions generated by fuzzy and randomized compatibility relations. ⋮ Prejudice in uncertain information merging: pushing the fusion paradigm of evidence theory further ⋮ Belief linear programming ⋮ Stochastic finite element methods for partial differential equations with random input data ⋮ Solving elliptic boundary value problems with uncertain coefficients by the finite element method: the stochastic formulation
This page was built for publication: Boolean-like and frequentistic nonstandard semantics for first-order predicate calculus without functions