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.
Similar content being viewed by others
References
Anderson, J., N. Belnap, J. Dunn, Entailment II, Princeton University Press, Princeton, 1992.
MÉndez, J. M., and F. Salto, ‘Urquhart's C with intuitionistic negation: Dummett's LC without the contraction axiom’, Notre Dame Journal of Formal Logic 36 (1995), 407–413.
MÉndez, J. M., and F. Salto, ‘A natural negation completion of Urquhart's manyvalued logic C’, Journal of Philosophical Logic 27 (1998), 75–84.
Ono, H., and Y. Komori, ‘Logics without the contraction rule’, Journal of Symbolic Logic 50 (1985), 169–201.
Routley, R., et al., Relevant Logics and their Rivals, Ridgeview, California, 1982.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Méndez, J.M., Salto, F. Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'. Studia Logica 66, 409–418 (2000). https://doi.org/10.1023/A:1005216827905
Issue Date:
DOI: https://doi.org/10.1023/A:1005216827905