𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Theorem on the Interrelationship of Axiom systems for Implicational Calculi

✍ Scribed by Biswambhar Pahi

Publisher
John Wiley and Sons
Year
1972
Tongue
English
Weight
208 KB
Volume
18
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the doyen-wilson theorem for m-cycle
On the doyen-wilson theorem for m-cycle systems
✍ Darryn E. Bryant; C. A. Rodger πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 901 KB

## Abstract In this article we consider the embedding of __m__‐cycle systems of order __u__ in __m__‐cycle systems of order __v__ when __m__ is odd. When __u__ and __v__ are 1 or __m__ (mod 2__m__) we completely settle this problem, except possibly for the smallest such embedding in some cases when

A fundamental theorem for the model redu
A fundamental theorem for the model reduction of nonlinear systems
✍ F. Mossayebi; T.T. Hartley; J.A. De Abreu-Garcia πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 451 KB

A simple, but fundamental, theorem is given on the extent to which a nonlinear system model can have its order reduced. EssentialIy, the result is that the order, or the dimension of the state space representation, cannot be reduced to, or below, the dimension of the system's attractor. Several exam