The origin of relation algebras in the development and axiomatization of the calculus of relations-Reference-Cited by-同舟云学术

The origin of relation algebras in the development and axiomatization of the calculus of relations

Published:1991 Issue:3-4 Volume:50 Page:421-455
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Maddux Roger D.

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/BF00370681.pdf

Reference56 articles.

1. [Birkhoff1948] G. Birkhoff, Lattice Theory (1948), Colloquium Publications, vol. XXV, American Mathematical Society, New York.

2. [Boole1847] G. Boole, The mathematical analysis of logic, being an essay toward a calculus of deductive reasoning (1847), 82, London and Cambridge.

3. [Brink1978] Ch. Brink, On Peirce's notation for the logic of relatives, Transactions of the Charles S. Peirce Society 14 (1978), pp. 285?304.

4. [Brink1979] Ch. Brink, The algebra of relatives, Notre Dame Journal of Formal Logic 20 (1979), pp. 900?908.

5. [Brink1981] Ch. Brink, Boolean modules, Journal of Algebra 71 (1981), pp. 291?313.

Cited by 60 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic;Philosophies;2022-10-26

2. On incorrectness logic and Kleene algebra with top and tests;Proceedings of the ACM on Programming Languages;2022-01-12

3. Seurat games on Stockmeyer graphs;Journal of Graph Theory;2021-09-24

4. On matrices and K-relations;Annals of Mathematics and Artificial Intelligence;2021-07-15

5. Residuation in Existential Graphs;Diagrammatic Representation and Inference;2021