𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A weakening of intuitionistic logic

✍ Scribed by Yu. N. Tolstova

Publisher
Springer US
Year
1972
Tongue
English
Weight
505 KB
Volume
1
Category
Article
ISSN
1573-8795

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

A note on dual-intuitionistic logic
A note on dual-intuitionistic logic
✍ Norihiro Kamide πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 91 KB πŸ‘ 1 views

## Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N^βˆ’^.

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