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

DOI10.1023/A:1005216827905zbMath0963.03003MaRDI QIDQ1595922

R. Smith

Publication date: 18 February 2001

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

substructural logicintuitionistic logicnegationcontractionless logicreductio

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency ⋮ The basic constructive logic for a weak sense of consistency

This page was built for publication: Intuitionistic propositional logic without `contraction' but with `reductio'