Set Theory and Logic

1809 Submissions

[2] viXra:1809.0263 [pdf] submitted on 2018-09-12 06:11:47

Refutation of Mapping mu-Calculus Onto Second-Order Logic

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

Refutation of Completeness for Non-Deterministic Logic

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