𝔖 Bobbio Scriptorium
✦   LIBER   ✦

General-Elimination Harmony and the Meaning of the Logical Constants

✍ Scribed by Stephen Read

Book ID
118299655
Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
362 KB
Volume
39
Category
Article
ISSN
0022-3611

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