LP=>: Extending LP with a strong conditional operator
classification
🧮 math.LO
keywords
strongconditionallogicoperatoraugmentcallconsistencydiscriminating
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.