Abstract
Combinator logics are a broad family of substructual logics that are formed by extending the basic relevant logic B with axioms that correspond closely to the reduction rules of proper combinators in combinatory logic. In the Routley-Meyer relational semantics for relevant logic each such combinator logic is characterized by the class of frames that meet a first-order condition that also directly corresponds to the same combinator's reduction rule. A second family of logics is also introduced that extends B with the addition of propositional constants that correspond to combinators. These are characterized by relational frames that meet first-order conditions that reflect the structures of the combinators themselves.
Similar content being viewed by others
References
Anderson, A. R., N. D. Belnap, Jr., and J. M. Dunn Entailment: The Logic of Relevance and Entailment, Vol. II, Princeton University Press, 1992.
Barendregt, H., M. Coppo, and M. Dezani-Ciancaglini, 'A Filter Lambda Model and the Completeness of Type Assignment', Journal of Symbolic Logic, 48: 931–940, 1983.
Dezani-Ciancaglini, M., R. K. Meyer, and Y. Motohama, 'The Semantics of Entailment Omega', Tech. Report TR-ARP-03-00, Automated Reasoning Group, Computer Science Laboratory, Australia National University, Canberra, Australia, 2000.
Goble, L., 'Combinatory Logic and the Semantics of Substructural Logics', in preparation, 200?.
Hindley J. R., and J. P. Seldin, Introduction to Combinators and λ-Calculus, Cambridge University Press, 1986.
Mares, E. D. and R. K. Meyer, 'Relevant Logic', in L. Goble, ed., The Blackwell Guide to Philosophical Logic, Blackwell Publishers, 2001, 280–308.
Routley R. and R. K. Meyer, 'The Semantics of Entailment III', Journal of Philosophical Logic, 1: 192–208, 1972.
Routley R., R. K. Meyer, V. Plumwood, and R. Brady, Relevant Logics and their Rivals, Ridgeview Publishing Co., 1982.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Goble, L. Combinator Logics. Studia Logica 76, 17–66 (2004). https://doi.org/10.1023/B:STUD.0000027466.68014.52
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000027466.68014.52