Sequent Calculus: A Logic and a Language for Computation and Duality
Truth and falsehood, questions and answers, construction and deconstruction; most things come in dual pairs. Duality is a mirror that reveals the new from the old via opposition. This idea appears pervasively in logic, where duality inverts "true" with "false" and "and&quo...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
University of Oregon
2017
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1794/22659 |