𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The `Type-Theory' of the Simple Reaction

✍ Scribed by E. B. Titchener

Book ID
124815271
Publisher
Oxford University Press
Year
1896
Tongue
English
Weight
253 KB
Volume
5
Category
Article
ISSN
0026-4423

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The `Type-Theory' of Reaction
The `Type-Theory' of Reaction
✍ J. Mark Baldwin πŸ“‚ Article πŸ“… 1896 πŸ› Oxford University Press 🌐 English βš– 315 KB
The seven virtues of simple type theory
The seven virtues of simple type theory
✍ William M. Farmer πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 243 KB

Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys the virtues of simple type theory and attempts to show that simple type theory is an attractive alternative to first-order

Torsion theories of simple type
Torsion theories of simple type
✍ Richard Bronowitz; Mark L. Teply πŸ“‚ Article πŸ“… 1973 πŸ› Elsevier Science 🌐 English βš– 784 KB