# 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/