THE LOGIC NOTES

Bibliography

 

[1]   A. R. Anderson and N. D. Belnap. Entailment: the logic of relevance and necessity. Princeton University Press, 1975.

[2]   A. Bondy and U. Murty. Graph theory with applications. Springer, 3rd printing 2008. http://www.iro.umontreal.ca/~hahn/IFT3545/GTWA.pdf

[3]  [; G. Boole. An investigation of the Laws of Thought on Which are Founded the Mathematicat Theories of Logic and Probabilities. Macmillan, London, 1858; Dover, 1951. Available as e-Book

[4]   M. Dummett. Truth and Other Enigmas. Harvard University Press, 1978.

[5]   G. Frege. Collected papers on mathematics, logic and philosophy. 1984.

[6]   S. Givant. The calculus of relations as a foundation for mathematics. Journal of Automated Reasoning 37, 2006: 277–322.

[7]   G. Hunter. Metalogic. University of California Press, 1973.

[8]   E. J. Lemmon. Beginning Logic. Nelson, 1965; Hackett, 1978. http://www.allbookez.com/lemmon-beginning-logic/

[9]   R. Maddux. The origin of relation algebras in the development and axiomatization of the calculus of relations. Studia Logica 50, 1991: 421–455.

[10]   G. Restall. Introduction to Substructural Logics. Routledge, 2000.

[11]   B. Russell. Essays in Analysis. Allen and Unwin, 1973.

[12]   J. Slaney. A general logic. Australasian Journal of Philosophy 68, 1990: 74–88.

[13]   J. Slaney. A logic for vagueness. Australasian Journal of Logic 8, 2010: 100–134.

[14]   J. Slaney and R. Meyer. Logic for two: the semantics of distributive substructural logics. In Proceedings of the International Joint Conference on Qualitive and Quantitative Practical Reasoning, 1997: 554–567.

[15]   T. Smiley. Sense without denotation. In Analysis 20, 1960: 125–135.

[16]   P. Strawson. Logico-Linguistic Papers. Methuen, 1971.

[17]   The MIZAR project: http://mizar.uwb.edu.pl/