Transreal proof of the existence of universal possible worlds

@inproceedings{Gomide2015TransrealPO,
  title={Transreal proof of the existence of universal possible worlds},
  author={Walter Gomide and T. Reis and James Anderson},
  year={2015}
}
Transreal arithmetic is total, in the sense that the fundamental operations of addition, subtraction, multiplication and division can be applied to any transreal numbers with the result being a transreal number [1]. In particular division by zero is allowed. It is proved, in [3], that transreal arithmetic is consistent and contains real arithmetic. The entire set of transreal numbers is a total semantics that models all of the semantic values, that is truth values, commonly used in logics… Expand
1 Citations

References

SHOWING 1-3 OF 3 REFERENCES
Perspex Machine VIII: axioms of transreal arithmetic
Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics
Construction of the transcomplex numbersfrom the complex numbers