✦ LIBER ✦

The seven virtues of simple type theory

✍ Scribed by William M. Farmer

Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 243 KB
Volume: 6
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2007.11.001

No coin nor oath required. For personal study only.

✦ Synopsis

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 logic for practical-minded scientists, engineers, and mathematicians. It recommends that simple type theory be incorporated into introductory logic courses offered by mathematics departments and into the undergraduate curricula for computer science and software engineering students.

📜 SIMILAR VOLUMES

A Sellsword's Resolve: Book Three of the Seven Virtues

✍ Peppers, Jacob 📂 Fiction 📅 2018 🌐 English ⚖ 234 KB 👁 3 views

War isnt coming. Its here. Aaron and his companions prevented the assassination of a queen but in doing so they angered an ancient evil. Angered it, wounded it, but did not kill it, for such evil never truly dies. An army greater than any the world has ever known marches bringing steel and

A Sellsword's Compassion: Book One of the Seven Virtues

✍ Peppers, Jacob 📂 Fiction 📅 2017 🌐 English ⚖ 202 KB 👁 3 views

War sweeps the land as the sons and daughters of the late King Marcus battle over who will claim their father’s throne and able-bodied men and women flock to one cause or the other in the hopes of a better tomorrow. At least, most of them. If life has taught the jaded sellsword, Aaron Envelar, any

A Sellsword's Wrath: Book Two of The Seven Virtues

✍ Peppers, Jacob 📂 Fiction 📅 2018 🌐 English ⚖ 246 KB 👁 3 views

Aaron Envelar thought that a sellswords life was just about as dangerous as any life could be. He was wrong. Trapped in a conquered city with a reward on their heads, Aaron and his companions must find a way to elude the soldiers pursuing them while he struggles to understand his bond wi

A Sellsword's Wrath: Book Two of the Seven Virtues

✍ Peppers, Jacob 📂 Fiction 📅 2018 🌐 English ⚖ 229 KB 👁 3 views

A Sellsword's Valor: Book Four of the Seven Virtues

✍ Peppers, Jacob 📂 Fiction 📅 2018 🌐 English ⚖ 222 KB 👁 3 views

The battle is won. But the war is just beginning. Belgarins forces have retreated, but in the city of Perennia there is no rejoicing. The air is filled with the mourning cries of survivors, and the wind that blows through the city carries the smell of freshly dug graves and death. As the

Torsion theories of simple type

✍ Richard Bronowitz; Mark L. Teply 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 784 KB