𝔖 Bobbio Scriptorium
✦   LIBER   ✦

New Models of Bounded Induction Axioms

✍ Scribed by S. Boughattas; J.-P. Ressayre

Publisher
Springer US
Year
2005
Tongue
English
Weight
352 KB
Volume
130
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The strength of sharply bounded inductio
The strength of sharply bounded induction
✍ Emil JeΕ™Γ‘bek πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 186 KB

## Abstract We prove that the sharply bounded arithmetic T^0^~2~ in a language containing the function symbol ⌊__x__ /2^__y__^ βŒ‹ (often denoted by MSP) is equivalent to PV~1~. (Β© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Identification and application of bounde
Identification and application of bounded-parameter models
✍ J.P. Norton πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science 🌐 English βš– 849 KB

Revww of ~denttficatton of parameter-bounding models and thetr role tn pre&ctton and control reveals the computattonal reqmrements and the hm~tattons of existing parameterbounding algorithms

A new axiom system of fuzzy logic
A new axiom system of fuzzy logic
✍ Hubert Frank πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 165 KB