Results for 'Combinatory logic'

1000+ found
Order:
  1.  12
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  24
    Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
    CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   52 citations  
  3.  11
    Introduction to Combinatory Logic.J. Roger Hindley - 1972 - Cambridge University Press.
    Introduction Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form ...
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   11 citations  
  4. Equivalences Between Pure Type Systems and Systems of Illative Combinatory Logic.M. W. Bunder & W. J. M. Dekkers - 2005 - Notre Dame Journal of Formal Logic 46 (2):181-205.
    Pure Type Systems, PTSs, were introduced as a generalization of the type systems of Barendregt's lambda cube and were designed to provide a foundation for actual proof assistants which will verify proofs. Systems of illative combinatory logic or lambda calculus, ICLs, were introduced by Curry and Church as a foundation for logic and mathematics. In an earlier paper we considered two changes to the rules of the PTSs which made these rules more like ICL rules. This led (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  5.  16
    The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
    Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the form of symmetric λ-calculus) is known to lack the Church-Rosser property. We prove a much stronger theorem that no symmetric combinatory logic that contains at least two proper symmetric combinators has the Church-Rosser property. Although the statement of the result looks similar to an earlier one concerning dual combinatory logic, the proof is different because symmetric combinators may form redexes in (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  6.  3
    Aspecto-Temporal Meanings Analysed by Combinatory Logic.Jean-Pierre Desclés, Anca Christine Pascu & Hee-Jin Ro - 2014 - Journal of Logic, Language and Information 23 (3):253-274.
    What is the meaning of language expressions and how to compute or calculate it? In this paper, we give an answer to this question by analysing the meanings of aspects and tenses in natural languages inside the formal model of an grammar of applicative, cognitive and enunciative operations , using the applicative formalism, functional types of categorial grammars and combinatory logic . In the enunciative theory and following , an utterance can be decomposed into two components: a modus (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  1
    Elements of Combinatory Logic.Frederic B. Fitch - 1974 - New Haven: Yale University Press.
  8. Set Theory Based on Combinatory Logic.Maarten Wicher Visser Bunder - 1969 - Groningen, V. R. B. --Offsetdrukkerij (Kleine Der a 3-4).
     
    Export citation  
     
    My bibliography   1 citation  
  9.  2
    Introduction to Combinatory Logic.Sören Stenlund - 1971 - Uppsala, Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen.
  10.  9
    Combinatory Logic: Pure, Applied, and Typed.Katalin Bimbó - 2012 - Taylor & Francis.
    Reader-friendly without compromising the precision of exposition, the book includes many new research results not found in the available literature.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  64
    Combinatory Logic and the Semantics of Substructural Logics.Lou Goble - 2007 - Studia Logica 85 (2):171-197.
    The results of this paper extend some of the intimate relations that are known to obtain between combinatory logic and certain substructural logics to establish a general characterization theorem that applies to a very broad family of such logics. In particular, I demonstrate that, for every combinator X, if LX is the logic that results by adding the set of types assigned to X (in an appropriate type assignment system, TAS) as axioms to the basic positive relevant (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  12.  2
    Polytime, Combinatory Logic and Positive Safe Induction.Andrea Cantini - 2002 - Archive for Mathematical Logic 41 (2):169-189.
    We characterize the polynomial time operations as those which are provably total in a first order system, which comprises (untyped) combinatory logic with extensionality, together with positive “safe induction” on the set of binary strings. The formalization of safe induction is inspired by Leivants idea of ramification. We also show how to replace ramification by means of modal logic.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13.  1
    Systems of Combinatory Logic Related to Quine's ‘New Foundations’.M. Randall Holmes - 1991 - Annals of Pure and Applied Logic 53 (2):103-133.
    Systems TRC and TRCU of illative combinatory logic are introduced and shown to be equivalent in consistency strength and expressive power to Quine's set theory ‘New Foundations’ and the fragment NFU + Infinity of NF described by Jensen, respectively. Jensen demonstrated the consistency of NFU + Infinity relative to ZFC; the question of the consistency of NF remains open. TRC and TRCU are presented here as classical first-order theories, although they can be presented as equational theories; they are (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  14.  15
    Completeness of Two Systems of Illative Combinatory Logic for First-Order Propositional and Predicate Calculus.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Archive for Mathematical Logic 37 (5-6):327-341.
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers 4 systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in which derivations (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  2
    Systems of Combinatory Logic Related to Predicative and ‘Mildly Impredicative’ Fragments of Quine's ‘New Foundations’.M. Randall Holmes - 1993 - Annals of Pure and Applied Logic 59 (1):45-53.
    This paper extends the results of an earlier paper by the author . New subsystems of the combinatory logic TRC shown in that paper to be equivalent to NF are introduced; these systems are analogous to subsystems of NF with predicativity restrictions on set comprehension introduced and shown to be consistent by Crabbé. For one of these systems, an exact equivalence in consistency strength and expressive power with the analogous subsystem of NF is established.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16. Typing in Reflective Combinatory Logic.Nikolai Krupski - 2006 - Annals of Pure and Applied Logic 141 (1):243-256.
    We study Artemov’s Reflective Combinatory Logic . We provide the explicit definition of types for and prove that every well-formed term has a unique type. We establish that the typability testing and detailed type restoration can be done in polynomial time and that the derivability relation for is decidable and PSPACE-complete. These results also formalize the intended semantics of the type t:F in . Terms store the complete information about the judgment “t is a term of type F”, (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  27
    Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  21
    Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic Into Illative Combinatory Logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic propositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  19.  10
    Normal Forms in Combinatory Logic.Patricia Johann - 1994 - Notre Dame Journal of Formal Logic 35 (4):573-594.
    Let $R$ be a convergent term rewriting system, and let $CR$-equality on combinatory logic terms be the equality induced by $\beta \eta R$-equality on terms of the lambda calculus under any of the standard translations between these two frameworks for higher-order reasoning. We generalize the classical notion of strong reduction to a reduction relation which generates $CR$-equality and whose irreducibles are exactly the translates of long $\beta R$-normal forms. The classical notion of strong normal form in combinatory (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  20.  25
    The Axiom of Choice and Combinatory Logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
    We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  21.  12
    Constructive Set Theoretic Models of Typed Combinatory Logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
    We shall present two novel ways of deriving simply typed combinatory models. These are of interest in a constructive setting. First we look at extension models, which are certain subalgebras of full function space models. Then we shall show how the space of singletons of a combinatory model can itself be made into one. The two and the algebras in between will have many common features. We use these two constructions in proving: There is a model of constructive (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  22. The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
    Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base is known to lack the Church-Rosser property. We prove a much stronger theorem that no symmetric combinatory logic that contains at least two proper symmetric combinators has the Church-Rosser property. Although the statement of the result looks similar to an earlier one concerning dual combinatory logic, the proof is different because symmetric combinators may form redexes in both left and right associated terms. (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  23. Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic Into Illative Combinatory Logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants intended to capture inference. In a preceding paper, [2], we considered 4 systems of illative combinatory logic that are sound for first order intuitionistic propositional and predicate logic. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators, or in a more direct way, in (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  29
    Arithmetic Based on the Church Numerals in Illative Combinatory Logic.M. W. Bunder - 1988 - Studia Logica 47 (2):129 - 143.
    In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  25. Substructural Logics, Combinatory Logic, and Lambda-Calculus.Katalin Bimbo - 1999 - Dissertation, Indiana University
    The dissertation deals with problems in "logic", more precisely, it deals with particular formal systems aiming at capturing patterns of valid reasoning. Sequent calculi were proposed to characterize logical connectives via introduction rules. These systems customarily also have structural rules which allow one to rearrange the set of premises and conclusions. In the "structurally free logic" of Dunn and Meyer the structural rules are replaced by combinatory rules which allow the same reshuffling of formulae, and additionally introduce (...)
     
    Export citation  
     
    My bibliography  
  26.  23
    Compact Bracket Abstraction in Combinatory Logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
    Translations from Lambda calculi into combinatory logics can be used to avoid some implementational problems of the former systems. However, this scheme can only be efficient if the translation produces short output with a small number of combinators, in order to reduce the time and transient storage space spent during reduction of combinatory terms. In this paper we present a combinatory system and an abstraction algorithm, based on the original bracket abstraction operator of Schonfinkel [9]. The algorithm (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  27.  6
    The Church-Rosser Property in Dual Combinatory Logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
    Dual combinators emerge from the aim of assigning formulas containing ← as types to combinators. This paper investigates formally some of the properties of combinatory systems that include both combinators and dual combinators. Although the addition of dual combinators to a combinatory system does not affect the unique decomposition of terms, it turns out that some terms might be redexes in two ways (with a combinator as its head, and with a dual combinator as its head). We prove (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  15
    On Adding (Ξ) to Weak Equality in Combinatory Logic.Martin W. Bunder, J. Roger Hindley & Jonathan P. Seldin - 1989 - Journal of Symbolic Logic 54 (2):590-607.
    Because the main difference between combinatory weak equality and λβ-equality is that the rule \begin{equation*}\tag{\xi} X = Y \vdash \lambda x.X = \lambda x.Y\end{equation*} is valid for the latter but not the former, it is easy to assume that another way of defining combinatory β-equality is to add rule (ξ) to the postulates for weak equality. However, to make this true, one must choose the definition of combinatory abstraction in (ξ) very carefully. If one tries to use (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  29. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - Academic Press.
  30. To Mock a Mocking Bird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic.Raymond M. Smullyan - 1985 - Knopf.
  31. Strong Reduction and Normal Form in Combinatory Logic.Bruce Lercher - 1967 - Journal of Symbolic Logic 32 (2):213-223.
  32. Axioms for Strong Reduction in Combinatory Logic.Roger Hindley - 1967 - Journal of Symbolic Logic 32 (2):224-236.
  33.  4
    Propositional and Predicate Calculuses Based on Combinatory Logic.M. W. Bunder - 1974 - Notre Dame Journal of Formal Logic 15 (1):25-34.
  34.  7
    The System Cδ of Combinatory Logic.Frederic B. Fitch - 1963 - Journal of Symbolic Logic 28 (1):87-97.
  35.  14
    A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory Logic.M. W. Bunder - 1983 - Journal of Symbolic Logic 48 (3):771-776.
  36.  3
    A Paradox in Illative Combinatory Logic.M. W. Bunder - 1970 - Notre Dame Journal of Formal Logic 11 (4):467-470.
  37.  4
    Types in Combinatory Logic.Luis E. Sanchis - 1964 - Notre Dame Journal of Formal Logic 5 (3):161-180.
  38.  12
    Paraconsistent Combinatory Logic,„.M. W. Bunder - 1979 - Bulletin of the Section of Logic 8 (4):177-180.
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  6
    The Completeness of Combinatory Logic with Discriminators.John T. Kearns - 1973 - Notre Dame Journal of Formal Logic 14 (3):323-330.
  40.  17
    A Consistent Combinatory Logic with an Inverse to Equality.Frederic B. Fitch - 1980 - Journal of Symbolic Logic 45 (3):529-543.
  41.  22
    Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic.M. W. Bunder - 1987 - Journal of Symbolic Logic 52 (1):89-110.
  42.  14
    A Simplification of Combinatory Logic.Nicolas D. Goodman - 1972 - Journal of Symbolic Logic 37 (2):225-246.
  43.  31
    An Abstraction Algorithm for Combinatory Logic.S. Kamal Abdali - 1976 - Journal of Symbolic Logic 41 (1):222-224.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  44.  8
    Some Generalizations to Two Systems of Set Theory Based on Combinatory Logic.M. W. Bunder - 1987 - Archive for Mathematical Logic 26 (1):5-12.
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  6
    Illative Combinatory Logic Without Equality as a Primitive Predicate.M. W. Bunder - 1982 - Notre Dame Journal of Formal Logic 23 (1):62-70.
  46.  3
    Reducibilities in Two Models for Combinatory Logic.Luis E. Sanchis - 1979 - Journal of Symbolic Logic 44 (2):221-234.
  47.  7
    Category Theory Based on Combinatory Logic.M. W. Bunder - 1984 - Archive for Mathematical Logic 24 (1):1-16.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  1
    Scott's Models and Illative Combinatory Logic.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):609-612.
  49. Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Mathematical Logic Quarterly 20 (13‐18):199-201.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  50.  2
    Bunder Maarten Wicher Visser. Set Theory Based on Combinatory Logic. Dissertation Amsterdam 1969, 80 Pp. + 3 Pp. Of Corrections. [REVIEW]Jonathan P. Seldin - 1970 - Journal of Symbolic Logic 35 (1):147-148.
1 — 50 / 1000