๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Monadic Elementary Formal Systems

โœ Scribed by Raymond M. Smullyan

Publisher
John Wiley and Sons
Year
1961
Tongue
English
Weight
187 KB
Volume
7
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

โœฆ Synopsis

The reason for this proviso is that in the intended interpretation, the symbol Lr+'r stands for material implication with association to the right. Thus, e.g., Fl 4 F2 --Fa is to be read "F, implies that F2 implies Fi'

๐Ÿ“œ SIMILAR VOLUMES

Advanced elementary formal systems
Advanced elementary formal systems
โœ Steffen Lange; Gunter Grieser; Klaus P. Jantke ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 237 KB
The formal theory of monads II
The formal theory of monads II
โœ Stephen Lack; Ross Street ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 217 KB

We give an explicit description of the free completion EM(K) of a 2-category K under the Eilenberg-Moore construction, and show that this has the same underlying category as the 2-category Mnd(K) of monads in K. We then demonstrate that much of the formal theory of monads can be deduced using only t