Transreal Logical Space of All Propositions

@inproceedings{Gomide2015TransrealLS,
  title={Transreal Logical Space of All Propositions},
  author={Walter Gomide and T. Reis and James Anderson},
  year={2015}
}
Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a paraconsistent form. We introduce logical spaces of all possible worlds and all propositions. We operate on a proposition, in all possible worlds, at the same time. We define logical transformations, possibility and necessity relations, in proposition space, and give a criterion to determine whether a proposition… Expand

Figures from this paper

References

SHOWING 1-10 OF 29 REFERENCES
Transreal Arithmetic as a Consistent Basis For Paraconsistent Logics
Ex Contradictione Non Sequitur Quodlibet
Paraconsistent logics
Truth and Falsehood: An Inquiry into Generalized Logical Values
Perspex Machine VIII: axioms of transreal arithmetic
Truth and Falsehood
Construction of the transcomplex numbersfrom the complex numbers
Frege, Contextuality and Compositionality
  • T. Janssen
  • Mathematics, Computer Science
  • J. Log. Lang. Inf.
  • 2001
Fuzzy logic and approximate reasoning
  • L. Zadeh
  • Computer Science, Mathematics
  • Synthese
  • 2004
...
1
2
3
...