[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.
Lists
Lists
