Hence such a proposition has been called ampliative.
"Logic" by Carveth Read
Ampliate -us: moderately dilated.
"Explanation of Terms Used in Entomology" by John. B. Smith
***
We denote all scalar products by h., .i and identify operators and their ampliations if no confusion arises.
Filtered random variables, bialgebras and convolutions
Xk (σ) ⊗ 1⊗∞)(P (σ)⊗(l−1) ⊗ 1 ⊗ P (σ)⊗∞) of an ampliation of Xk (σ) into bB⊗∞ and a pro jection indexed by σ .
Filtered random variables, bialgebras and convolutions
X = X(l, k) is the (l, k)-th ampliation of x ∈ Al into bA1 and P = P(l, σ), where l ∈ L, k ∈ N, σ ∈ P (N).
Filtered random variables, bialgebras and convolutions
This is exactly what is not true of ampliative inference, and it is what has led some writers (e.g., [Morgan, 1998]) to deny that there is any such thing as a nonmonotonic logic.
Evaluating Defaults
For m ≥ 0, let us consider the ampliation of the maps Θ, b and β as maps from A N B(Γfr( ˆk0 )) into itself.
Quantum random walks and their convergence
***