Roger D. Maddux (maddux)
Contributi a 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.