๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Realisability in weak systems of explicit mathematics

โœ Scribed by Daria Spescha; Thomas Strahm

Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
186 KB
Volume
57
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis

This paper is a direct successor to [12]. Its aim is to introduce a new realisability interpretation for weak systems of explicit mathematics and use it in order to analyze extensions of the theory PET in [12] by the so-called join axiom of explicit mathematics.

๐Ÿ“œ SIMILAR VOLUMES

On the use of interval mathematics in fu
On the use of interval mathematics in fuzzy expert systems
โœ Daniel Wagman; Moti Schneider; Eliahu Shnaider ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 839 KB

Fuzzy expert systems attempt to model the cognitive processes of human experts. They currently accomplish this by capturing knowledge in the form of linguistic propositions. Real-world problems dictate the need to include mathematical knowledge as well. Pattern matching is a critical part of the inf

Symbolic algebra in mathematical analysi
Symbolic algebra in mathematical analysis of chemical-kinetic systems
โœ Jemmer, Patrick ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 182 KB

To make predictive statements about the role and reactions of different species in physicochemically reactive systems, it is necessary to formulate and solve a set of coupled differential equations describing the systems kinetic behavior. A symbolic algebra module, eqParse.m, is described, which par