𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

✍ Scribed by A.D. Yashin

Book ID
110330422
Publisher
Springer US
Year
2002
Tongue
English
Weight
206 KB
Volume
41
Category
Article
ISSN
0002-5232

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A(nother) characterization of intuitioni
A(nother) characterization of intuitionistic propositional logic
✍ Rosalie Iemhoff πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 123 KB

In Iemho (J. Symbolic Logic, to appear) we gave a countable basis V for the admissible rules of IPC . Here, we show that there is no proper superintuitionistic logic with the disjunction property for which all rules in V are admissible. This shows that, relative to the disjunction property, IPC is m

Substitutions of Ξ£10-sentences: explorat
Substitutions of Ξ£10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic
✍ Albert Visser πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 347 KB

This paper is concerned with notions of consequence. On the one hand, we study admissible consequence, speciΓΏcally for substitutions of 0 1 -sentences over Heyting arithmetic (HA). On the other hand, we study preservativity relations. The notion of preservativity of sentences over a given theory is