Transreal arithmetic as a consistent basis for paraconsistent logics

Downloads

[1] Simon L. Altmann. Rotations, Quaternions and Double Groups. Dover Publications Inc, 1986. [2] J. A. D. W. Anderson. Representing geometrical knowledge. Phil. Trans. Roy. Soc. Lond. Series B., 352(1358):1129{1139, 1997. [3] James A. D. W. Anderson. Exact numerical computation of the rational general linear transformations. In Longin Jan Lateki, David M. Mount, and Angela Y. Wu, editors, Vision Geometry XI, volume 4794 of Proceedings of SPIE, pages 22{28, 2002. [4] James A. D. W. Anderson. Perspex machine iii: Continuity over the turing operations. In Longin Jan Lateki, David M. Mount, and Angela Y. Wu, editors, Vision Geometry XIII, volume 5675 of Proceedings of SPIE, pages 112{123, 2005. [5] James A. D. W. Anderson. Evolutionary and revolutionary e�ects of transcomputation. In 2nd IMA Conference on Mathematics in Defence. Institute of Mathematics and its Applications, Oct. 2011. [6] James A. D. W. Anderson. Trans- oating-point arithmetic removes nine quadrillion redundancies from 64-bit ieee 754 oating-point arithmetic. In this present proceedings, 2014. [7] James A. D. W. Anderson and Tiago S. dos Reis. Transreal limits expose category errors in ieee 754 oating-point arithmetic and in mathematics. In Submitted for consideration in this proceedings, 2014. [8] James A. D. W. Anderson, Norbert V�olker, and Andrew A. Adams. Perspex machine viii: Axioms of transreal arithmetic. In Longin Jan Lateki, David M. Mount, and Angela Y.Wu, editors, Vision Geometry XV, volume 6499 of Proceedings of SPIE, pages 2.1{2.12, 2007. [9] Robert Audi. The Cambridge Dictionary of Philosophy. Cambridge University Press, 2nd edition, 1997. [10] R. E. Bellman and L. A. Zadeh. Local and fuzzy logics. In J. M. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logic, pages 103{165. D. Reidel Publishing Co., 1977. [11] W. Carnelli and J. Marcos. Ex contradictione non sequitur quodlibet. In Proc. 2nd Conf. on Reasoning and Logic, Bucharest, 2001. [12] W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag, 1981. [13] N. C. A. da Costa. The philosophical import of paraconsistent logic. Journal of Non-Classical Logic, 1:1{19, 1982. [14] Gerald M. Edelman and Giulio Tononi. A Universeo of Conscousness - How Matter Becomes Imagination. Basic Books, 2000. [15] William Feller. An Introduction to Probability Theory and its Applications, volume 1 of Probability and Mathematical Statistics. Wiley, 3rd edition, 1957. [16] Juliet Floyd. Wittgenstein on philosophy of logic and mathematics. In Stewart Shapiro, editor, Oxford Handbook of Philosophy of Logic and Mathematics, chapter 4, pages 75{128. Oxford University Press, 2005. [17] John E. Freund and Ronald E. Walpole. Mathematical Statistics. Prentice Hall, 3rd edition, 1980. [18] Walter Gomide. O princ��pio de n~ao-contradi�c~ao e sua tradu�c~ao para a aritm�etica transreal. Investiga�c~ao Filos�o�ca, 4(1), 2013. [19] Russell Greiner and Michael R. Genesereth. What's new? a semantic de�- nition of novelty. In Proceedings of the 8th International Joint Conference on Arti�cial Intelligence, pages 450{454. William Kaufmann, 1983. [20] Theo M.V. Jansen. Frege, contextuality and composionality. Journal of Logic, language, and Information, 10, 2001. [21] Philip Johnson-Laird. Mental Models: Towards a Cognitive Science of Language, Inference and Consciousness. Cambridge University Press, 1983. [22] Robert C. Moore. Semantical considerations on nonmonotonic logic. Arti- �cial Intelligence, 25(1):75{94, Jan 1985. [23] John Nolt and Dennis Rohatyn. Logic. McGraw-Hill, 1988. [24] G. Priest, J. C. Beall, and B. A. Gab. The Law of Non-Contradiction. Oxford University Press, 2004. [25] Graham Priest. An Introduction to Non-Classica Logic From If to Is. Cambridge University Press, 2nd edition, 2008. [26] Graham Priest, Koji Tanaka, and Zach Weber. Paraconsistent logic. The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/archives/fall2013/entries/logic-paraconsistent, 2013. [27] Stephen Read. Relevant Logic - A Philosophical Examination of Inference. Basil Blackwell, 2012 (�rst published 1988). [28] Kenneth H. Rosen. Discrete Mathematics and its Appications. McGraw- Hill, 6th edition, 2007. [29] Y. Shramko and H. Wansing [29] Y. Shramko and H. Wansing. Entailment relations and truth values. Bulletin of the Section of Logic, 36:131{143, 2007. [30] Y. Shramko and H. Wansing. Truth and falsehood. an inquiry into generalised logical values. Trends in Logic, 36, 2007. [31] Leon Sterling. The Art of Prolog - Advanced Programming Techniques. MIT Press, 1986. [32] S. Swierczkowski. Sets and Numbers. Routledge & Keegan Paul, 1972. [33] John N. Williams. The preface paradox resolved. Theoria, 2(3):121{140, 1987. [34] L. A. Zadeh. Fuzzy logic and approximate reasoning. Synthese, 30:407{428, 1975.