Strict logic
Encyclopedia
Strict logic is essentially synonymous with relevant logic, though it can be characterized proof-theoretically
as
Proof theory
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed...
as
- ordinary logic without weakening, or
- linear logicLinear logicLinear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter...
with contractionIdempotency of entailmentIdempotency of entailment is a property of logical systems that states that one may derive the same consequences from many instances of a hypothesis as from just one...
.