[2] viXra:1809.0263 [pdf] submitted on 2018-09-12 06:11:47
Authors: Colin James III
Comments: 1 Page. © Copyright 2018 by Colin James III All rights reserved. Respond to the author by email at: info@ersatz-systems dot com.
When mapping mu-calculus onto second-order logic, we show use of the fixpoint operator as untenable. What follows is the effective refutation of mapping mu-calculus onto second-order logic.
Category: Set Theory and Logic
[1] viXra:1809.0257 [pdf] submitted on 2018-09-12 11:52:54
Authors: Colin James III
Comments: 1 Page. © Copyright 2018 by Colin James III All rights reserved. Respond to the author by email at: info@ersatz-systems dot com.
We show that the four-valued, non-deterministic semantics for modal logic are not complete. The demonstration uses contradictions based on Carnielli's paraconsistent logic. What follows is that infinite non-deterministic matrices are by definition incomplete.
Category: Set Theory and Logic