𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations

✍ Scribed by Oppenheimer, P. E.; Zalta, E. N.


Book ID
121830002
Publisher
Oxford University Press
Year
2010
Tongue
English
Weight
219 KB
Volume
21
Category
Article
ISSN
0955-792X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Theoretical consideration of the relatio
✍ Iwona MrΓ³z πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 833 KB

An extended set of ''secondary structures'', which are defined as systems consisting of the maximum possible number of cooperative units, is considered. The classical and non-classical secondary structures are systematized in a new way. Although it is not assumed that L-stereoisomers of amino acids

Relations Between the Matrix Algebraic F
✍ Metin DemiΜ‡ralp; GΓΌlşen Taşkin πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons βš– 144 KB

Recently we have presented a matrix algebraic factorization scheme for multiplicative representations of generalized hypergeometric functions of type p+1Fp . The Method uses exponential functions with matrix arguments. We have shown that factorization is possible around any kind of point, regular or