Intuitionistic propositional logic without 'contraction' but with 'reductio'

Studia Logica 66 (3):409-418 (2000)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 77,894

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

32 (#372,614)

6 months
1 (#483,919)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

José M. Méndez
Universidad de Salamanca
Francisco Salto
Universidad de León

Citations of this work

The basic constructive logic for a weak sense of consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.

Add more citations

References found in this work

Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.

Add more references