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

On the Beth properties of some intuitionistic modal logics

โœ Scribed by C. Luppi

Publisher
Springer
Year
2002
Tongue
English
Weight
119 KB
Volume
41
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Systems of Transfinite Type Theory Based
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics
โœ Kenneth A. Bowen ๐Ÿ“‚ Article ๐Ÿ“… 1974 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those