On the interpretation of combinators with weak reduction
Journal of Symbolic Logic 48 (3):558-563 (1983)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesM. W. Bunder (2000). Expedited Broda-Damas Bracket Abstraction. Journal of Symbolic Logic 65 (4):1850-1857.
Thomas Jech (1999). Some Results on Combinators in the System TRC. Journal of Symbolic Logic 64 (4):1811-1819.
Lee McIntyre (2007). Emergence and Reduction in Chemistry: Ontological or Epistemological Concepts? Synthese 155 (3):337-343.
Sachio Hirokawa, Yuichi Komori & Izumi Takeuti (1996). A Reduction Rule for Peirce Formula. Studia Logica 56 (3):419 - 426.
Cynthia Macdonald (1992). Weak Externalism and Psychological Reduction. In David Charles & Kathleen Lennon (eds.), Reduction, Explanation and Realism. Oxford University Press.
Katalin Bimbó (2003). The Church-Rosser Property in Dual Combinatory Logic. Journal of Symbolic Logic 68 (1):132-152.
Katalin Bimbó (2000). Investigation Into Combinatory Systems with Dual Combinators. Studia Logica 66 (2):285-296.
Henk Barendregt, Martin Bunder & Wil Dekkers (1993). Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. Journal of Symbolic Logic 58 (3):769-788.
Lou Goble (2004). Combinator Logics. Studia Logica 76 (1):17 - 66.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,507 of 548,969 )Recent downloads (6 months)1 ( #63,511 of 548,969 )How can I increase my downloads? |
My notes
Discussion
