𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Proposition as the connotation of sentence

✍ Scribed by Kazimierz Ajdukiewicz

Publisher
Springer Netherlands
Year
1967
Tongue
English
Weight
726 KB
Volume
20
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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