Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio' |
| |
| Authors: | Méndez J M Salto F |
| |
| Institution: | (1) Departimento de Filosofia y Logica y Filosofia de la Ciencia, Universidad de Salamanca, 37007 Salamanca, Spain;(2) Departimento de Filosofia y Logica y Filosofia de la Ciencia, Universidad de Salamanca, 37007 Salamanca, Spain |
| |
| Abstract: | Routley-Meyer type relational complete semantics are constructed for intuitionistic contractionless logic with reductio. Different negation completions of positive intuitionistic logic without contraction are treated in a systematical, unified and semantically complete setting. |
| |
| Keywords: | contractionless logic intuitionistic logic substructural logic negation reductio |
| 本文献已被 SpringerLink 等数据库收录！ |
|
