✦ LIBER ✦

A Normative Model of Classical Reasoning in Higher Order Languages

✍ Scribed by Peter Zahn

Publisher: Springer Netherlands
Year: 2006
Tongue: English
Weight: 352 KB
Volume: 148
Category: Article
ISSN: 0039-7857
DOI: 10.1007/s11229-004-6225-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Higher-order modelling of the diffusion

Higher-order modelling of the diffusion dynamics in a bipolar transistor

✍ Kari Lehtinen; Markku Sipila; Veikko Porra 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 794 KB

A classification of higher-order strain-

A classification of higher-order strain-gradient models in damage mechanics

✍ H. Askes; L. J. Sluys 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 549 KB

Building higher-order units in tachistos

Building higher-order units in tachistoscopic identification: A test of two models

✍ Peter Wolff; D. J. K. Mewhort 📂 Article 📅 1986 🏛 Guilford Publishing Inc 🌐 English ⚖ 706 KB

Modeling of delamination buckling in com

Modeling of delamination buckling in composite cylindrical shells with a new higher-order theory

✍ Aditi Chattopadhyay; Haozhong Gu 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 957 KB

Thermodynamic modelling of non-convergen

Thermodynamic modelling of non-convergent ordering in orthopyroxenes: a comparison of classical and Landau approaches

✍ Herbert Kroll; Hartmut Schlenz; Michael W. Phillips 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 607 KB

The excess Gibbs free energy due to non-convergent ordering is described by a Landau expansion in which configurational and non-configurational entropy contributions are separated: GL= hQ~+ 89 Neglecting higher order terms in Qt, this expansion is formally equivalent to the reciprocal solution mode

On optimal order in modeling sequence of

On optimal order in modeling sequence of letters in words of common language as a Markov chain

✍ Amlan Kundu; Yang He 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 558 KB