LP=>: Extending LP with a strong conditional operator
Logic
2013-04-25 v1
Abstract
We augment LP with a strong conditional operator, to yield a logic we call "strong LP," or LP=>. The resulting logic can speak of consistency in more discriminating ways, but introduces new possibilities for trivializing paradoxes.
Cite
@article{arxiv.1304.6467,
title = {LP=>: Extending LP with a strong conditional operator},
author = {Nick Thomas},
journal= {arXiv preprint arXiv:1304.6467},
year = {2013}
}
Comments
9 pages, 4 figures