main.pdf (64.56 kB)
Transreal Proof of the Existence of Universal Possible Worlds
journal contribution
posted on 2015-01-06, 16:58 authored by James AndersonJames Anderson, Walter Gomide, Tiago S. dos ReisWe extend various standard results of topology so that they apply to transreal spaces and use these to develop various results in logic. We prove that there are infinitely many, universal, possible worlds which approximate all possible words arbitrarily closely via application of a single, linear operator. Specifically that the universal worlds are hypercyclic. We also give a criterion to distinguish classical and paraconsistent logics.