𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First Order Theories for Partial Models

✍ Scribed by Bożena Staruch; Bogdan Staruch

Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
197 KB
Volume
80
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fregean Extensions of First-Order Theori
Fregean Extensions of First-Order Theories
✍ John L. Bell 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB

## Abstract It is shown by Parsons [2] that the first‐order fragment of Frege's (inconsistent) logical system in the __Grundgesetze der Arithmetic__ is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first‐order theories. We also show that a natural a

First-order partial differential equatio
First-order partial differential equations
✍ Rhee Aris; Amudson 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Book Reviews situations that are not adequately covered by a local equilibrium approximation between phases look forward to the United States will not be surpassed.

Third-order methods for first-order hype
Third-order methods for first-order hyperbolic partial differential equations
✍ Cheema, T. A. ;Taj, M. S. A. ;Twizell, E. H. 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 102 KB

## Abstract In this paper numerical methods for solving first‐order hyperbolic partial differential equations are developed. These methods are developed by approximating the first‐order spatial derivative by third‐order finite‐difference approximations and a matrix exponential function by a third‐o