A weak intuitionistic propositional logic with purely constructive implication |
| |
| Authors: | Mitsuhiro Okada |
| |
| Affiliation: | (1) Department of Computer Science, Concordia University, Montreal, Canada;(2) Department of Philosophy, University of Illinois, Urbana, USA |
| |
| Abstract: | ![]()
We introduce subsystems WLJ and SI of the intuitionistic propositional logic LJ, by weakening the intuitionistic implication. These systems are justifiable by purely constructive semantics. Then the intuitionistic implication with full strength is definable in the second order versions of these systems. We give a relationship between SI and a weak modal system WM. In Appendix the Kripke-type model theory for WM is given.This work was partially supported by NSF Grant DCR85-13417 |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
