𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A possible extension of logical theory?

✍ Scribed by Geoffrey Hunter

Publisher
Springer Netherlands
Year
1965
Tongue
English
Weight
496 KB
Volume
16
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A probabilistic extension of intuitionis
A probabilistic extension of intuitionistic logic
✍ Zoran MarkoviΔ‡; Zoran OgnjanoviΔ‡; Miodrag RaΕ‘koviΔ‡ πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 173 KB

## Abstract We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as __P__~β‰₯__s__~Ξ±, with the intended meaning β€œthe probability of truthfulness of __Ξ±__ is at least __s__”. We describe the corresponding class of models, which are Kripk