Ian A. Mason (mason-ia)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Buvač, Saša, Buvač, Vanja and Mason, Ian A. 1995a. “The Semantics of Propositional Contexts.” in Methodologies for Intelligent Systems: Proceedings of the 8th International Symposium. Berlin: Springer Verlag.
Buvač, Saša, Buvač, Vanja and Mason, Ian A. 1995b. “Metamathematics of Contexts.” Fundamenta Mathematicae 23(3).
Buvač, Saša and Mason, Ian A. 1993. “Propositional Logic of Context.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert, pp. 412–419. Menlo Park, California: The AAAI Press.
Mason, Ian A. and Talcott, Carolyn L. 2002. “Feferman-Landini Logic.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 293–328. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.