منابع مشابه
Intensional Models for First Degree Formulas
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...
متن کاملIntegration formulas for the conditional transform involving the first variation
In this paper, we show that the conditional transform with respect to the Gaussian process involving the first variation can be expressed in terms of the conditional transform without the first variation. We then use this result to obtain various integration formulas involving the conditional $diamond$-product and the first variation.
متن کاملSmolyak's Construction of Cubature Formulas of Arbitrary Trigonometric Degree Smolyak's Construction of Cubature Formulas of Arbitrary Trigonometric Degree Smolyak's Construction of Cubature Formulas of Arbitrary Trigonometric Degree
We study cubature formulas for d-dimensional integrals with a high trigonometric degree. To obtain a trigonometric degreè in dimension d, we need about d ` =`! function values if d is large. Only a small number of arithmetical operations is needed to construct the cubature formulas using Smolyak's technique. We also compare diierent methods to obtain formulas with high trigonometric degree. Abs...
متن کاملLinear Formulas in Continuous Logic
We prove that continuous sentences preserved by the ultramean construction (a generalization of the ultraproduct construction) are exactly those sentences which are approximated by linear sentences. Continuous sentences preserved by linear elementary equivalence are exactly those sentences which are approximated in the Riesz space generated by linear sentences. Also, characterizations for linea...
متن کاملA First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent — speaker, hearer, or third parties — any of these in the past, present, or future — and any logical combination of these, including formul...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1977
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093887837