𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals

✍ Scribed by Dov M. Gabbay; Andrzej Szałas

Publisher
Springer Netherlands
Year
2007
Tongue
English
Weight
203 KB
Volume
87
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analysis of a second order gas-solid rea
Analysis of a second order gas-solid reaction in an isothermal spherical particle. Application to the reduction of oxides with gaseous substrates
✍ M.A.M. Boersma; J.A.M. Spierts; H.S. Van Der Baan 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 685 KB

The mass transport equation applymg to a second order gas sohd reactlon takmg place m an Isothermal spherical particle IS solved by the orthogonal collocation method, usmg 3, 5 and 8 pomt collocation The results are compared with those obtamed m earher studies usmg different assumptions and calculat

Conditional correlation analysis of orde
Conditional correlation analysis of order statistics from bivariate normal distribution with an application to evaluating inventory effects in futures market
✍ Donald Lien; N. Balakrishnan 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 207 KB

In this paper, we consider the order statistics from a bivariate normal distribution and develop a conditional correlation analysis. We then apply these results to evaluate the presence of inventory e ects in futures market. We also apply these results to analyze the data from a visual acuity experi