Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/maddux

Roger D. Maddux (maddux)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Andréka, Hajnal and Maddux, Roger D. 1994. Representation for Small Relation Algebras.” Notre Dame Journal of Formal Logic 35(4): 550–562.
    Bimbó, Katalin, Dunn, Michael J. and Maddux, Roger D. 2009. Relevance Logics and Relation Algebras.” The Review of Symbolic Logic 2(1): 102–131.
    Hirsch, Robin, Hodkinson, Ian and Maddux, Roger D. 2002a. Provability with Finitely Many Variables.” The Bulletin of Symbolic Logic 8(3): 348–348.
    Hirsch, Robin, Hodkinson, Ian and Maddux, Roger D. 2002b. Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory.” The Journal of Symbolic Logic 67: 197–213.
    Maddux, Roger D. 1983. A Sequent Calculus for Relation Algebras.” Annals of Pure and Applied Logic 25: 73–101.
    Maddux, Roger D. 1991. The Origins of Relation Algebras in the Development and Axiomatization of the Calculus of Relations.” Studia Logica: An International Journal for Symbolic Logic 50: 421–455.
    Maddux, Roger D. 1992. Relation Algebras of Every Dimension.” The Journal of Symbolic Logic 57: 1213–1229.
    Maddux, Roger D. 1998. Review of Marx, Pólos and Masuch (1996).” The Journal of Symbolic Logic 63(1): 333–336.
    Maddux, Roger D. 2005. Review of Burdman Feferman and Feferman (2004).” The Bulletin of Symbolic Logic 11(4): 535–540.
    Maddux, Roger D. 2006. Relation Algebras. Studies in Logic and the Foundations of Mathematics n. 150. Amsterdam: North-Holland Publishing Co.
    Maddux, Roger D. 2010. Relevance Logic and the Calculus of Relations.” The Review of Symbolic Logic 3(1): 41–70.

Further References

    Burdman Feferman, Anita and Feferman, Solomon. 2004. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press.
    Marx, Maarten, Pólos, László and Masuch, Michael, eds. 1996. Arrow Logic and Multimodal Logic. Stanford, California: CSLI Publications.