Martin W. Bunder (bunder)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Bunder, Martin W. 1971. “Predicate Calculus without Free Variables.” Logique et Analyse 14(56): 725–728.
Bunder, Martin W. 1980a. “The Consistency of a Higher Order Predicate Calculus and Set Theory Based on Combinatory Logic.” in Mathematical Logic in Latin America. Proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978, edited by Ayda I. Arruda, Rolando B. Chuaqui, and Newton C. A. Da Costa, pp. 73–82. Studies in Logic and the Foundations of Mathematics n. 99. Amsterdam: North-Holland Publishing Co.
Bunder, Martin W. 1980b. “Quantified Relevance Logic and Generalised Restricted Generality.” Logique et Analyse 23(90–91): 319–321.
Bunder, Martin W. 1980c. “The Naturalness of Illative Combinatory Logic as a Basis for Mathematics.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 55–63. New York: Academic Press.
Bunder, Martin W. 1988. “Corrections to Some Results for BCK Logics and Algebras.” Logique et Analyse 31(121–122): 115–122.
Bunder, Martin W. 1992. “Combinatory Logic and Lambda Calculus with Classical Types.” Logique et Analyse 35(137–138): 69–79.
Bunder, Martin W. 1993. “Theorems in Classical Logic are Instances of Theorems in Condensed BCI Logic.” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 43–62. Oxford Science Publications. Oxford: Oxford University Press.
Bunder, Martin W. 1995. “A Simplified Form of Condensed Detachment.” Journal of Logic, Language, and Information 4(2): 169–173.
Bunder, Martin W. 1996. “Logics without Contraction II.” in Logic and Reality: Essays on the Legacy of Arthur Prior, edited by B. Jack Copeland, pp. 337–349. Oxford: Oxford University Press.
Bunder, Martin W. 2002. “Combinators, Proofs and Implicational Logics.” in Handbook of Philosophical Logic, Volume VI, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 229–286. Dordrecht: Springer.