Accessibility navigation


Transreal proof of the existence of universal possible worlds

Gomide, W., dos Reis, T. S. and Anderson, J. (2015) Transreal proof of the existence of universal possible worlds. In: Unilog 2015 - 5th World Congress and School on Universal Logic, June 25-30, 2015., Instanbul, Turkey, p. 324. (Handbook of the 5th World Congress and School on Universal Logic Instanbul, Turkey)

[img]
Preview
Text - Accepted Version
· Please see our End User Agreement before downloading.

66kB

It is advisable to refer to the publisher's version if you intend to cite from this work. See Guidance on citing.

Abstract/Summary

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, such as the classical, dialetheaic, fuzzy and gap values [2]. By virtue of the totality of transreal arithmetic, these logics can be implemented using total, arithmetical functions, specifically operators, whose domain and counterdomain is the entire set of transreal numbers

Item Type:Conference or Workshop Item (Paper)
Refereed:Yes
Divisions:Science > School of Mathematical, Physical and Computational Sciences > Department of Computer Science
ID Code:39725
Additional Information:see also http://www.uni-log.org/hunilog2015.pdf

Downloads

Downloads per month over past year

University Staff: Request a correction | Centaur Editors: Update this record

Page navigation