LP as a substructural logic, bilaterally

1 · Home on consequently.org · July 3, 2026, 5:21 p.m.
Summary
This blog post discusses LP, a three-valued logic, exploring its properties and differences from classical logic, particularly in relation to valid sequents and negation. It highlights the complexities that arise in characterizing LP and compares it with strict-tolerant logic (ST).