𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Geometry of cut-complexes and threshold logic

✍ Scribed by M. Reza Emamy-K.

Publisher
Springer
Year
1999
Tongue
English
Weight
632 KB
Volume
65
Category
Article
ISSN
0047-2468

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Cut-Elimination Theorem for the Logic of
Cut-Elimination Theorem for the Logic of Constant Domains
✍ Ryo Kashima; Tatsuya Shimura πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 776 KB

## Abstract The logic CD is an intermediate logic (stronger than intuitionistic logic and weaker than classical logic) which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen‐type formulation called LD (which is same as LK except that (β†’) an