Substructural Solutions to Paradox
Strict-tolerant logic, validity Curry, and keeping classical logic by giving up cut or contraction
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will definestrict-tolerant logicnon-transitive logicnon-contractive logicCurry's paradoxvalidity Curry
Assumescontractioncut rulestructural ruletransparent truthsubstructural logic