About: Combinatory logic

An Entity of Type: academic subject, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Logical formalism using combinators instead of variables

Property	Value
dbo:description	branche de la logique mathématique (fr) approccio per eliminare la necessità di variabili quantificate nella logica matematica (it) logika formalismo uzanta kombinilojn anstataŭ variabloj (eo) logical formalism using combinators instead of variables (en)
dbo:wikiPageExternalLink	http://dkeenan.com/Lambda/index.htm http://www.angelfire.com/tx4/cus/combinator/birds.html https://web.archive.org/web/20081029051502/http:/cstein.kings.cam.ac.uk/~chris/combinators.html http://www.cip.ifi.lmu.de/~langeh/test/1924%20-%20Schoenfinkel%20-%20Ueber%20die%20Bausteine%20der%20mathematischen%20Logik.pdf https://www.wolfram-media.com/products/combinators-a-centennial-view.html http://www.cl.cam.ac.uk/Teaching/Lectures/founds-fp/Founds-FP.ps.gz http://code.google.com/p/clache https://archive.org/details/CLP-2003_780 https://archive.org/details/functionalprogra0000fiel https://web.archive.org/web/20051016213140/http:/folli.loria.fr/cds/1999/library/pdf/curry-howard.pdf https://web.archive.org/web/20070209093802/http:/www.sadl.uleth.ca/gsdl/cgi-bin/library%3Fa=p&p=about&c=curry https://web.archive.org/web/20160304083208/http:/tromp.github.io/cl/LC.pdf http://projecteuclid.org/euclid.jsl/1183743187%7Cmr=1043546%7Cjournal= http://www.cambridge.org/catalogue/catalogue.asp%3Fisbn=9780521898850 http://plato.stanford.edu/entries/logic-combinatory/
dbo:wikiPageWikiLink	dbr:Intuitionistic_logic dbr:Rice's_theorem dbr:Henk_Barendregt dbr:Categorical_abstract_machine dbr:Belgium dbr:Model_theory dbr:Predicate_logic dbr:Deduction_theorem dbc:Logic_in_computer_science dbr:Alonzo_Church dbr:Computer_science dbr:Mathematical_logic dbr:Turing_machine dbr:University_of_Copenhagen dbr:University_of_Warsaw dbr:Computation dbr:Harvard_University_Press dbr:Princeton_University dbr:APL_(programming_language) dbr:Oxford_University_Press dbr:Quantifier_(logic) dbr:Dana_Scott dbr:David_Turner_(computer_scientist) dbr:Proof_theory dbr:Jean_van_Heijenoort dbr:Journal_of_Symbolic_Logic dbr:Katalin_Bimbó dbr:Higher-order_function dbr:Graph_reduction_machine dbr:Unlambda dbr:Combinatory_logic dbr:Haskell_Curry dbr:Kenneth_E._Iverson dbr:Moses_Schönfinkel dbr:Big_O_notation dbr:Recursion dbr:Free_variables_and_bound_variables dbr:Iota_and_Jot dbr:SKI_combinator_calculus dbr:B,_C,_K,_W_system dbr:Church_encoding dbr:Functional_programming dbr:Lambda_calculus dbr:Model_of_computation dbr:Raymond_Smullyan dbr:Predicate_functor_logic dbr:Willard_Van_Orman_Quine dbr:Stanford_Encyclopedia_of_Philosophy dbr:Up_to dbr:To_Mock_a_Mockingbird dbr:Beta_normal_form dbr:Explicit_substitution dbr:Expressive_power_(computer_science) dbr:First-order_logic dbr:Q.E.D. dbr:Combinational_logic dbr:Kripke_semantics dbr:Cambridge_University_Press dbr:Computability_theory dbr:Normal_form_(abstract_rewriting) dbr:Combinatory_categorial_grammar dbr:Free_variable dbr:Cylindric_algebra dbr:Function_application dbr:Tacit_programming dbr:Supercombinator dbr:Applicative_computing_systems dbr:Robert_Feys dbc:Lambda_calculus dbc:Combinatory_logic dbr:Fixed_point_combinator dbr:Inclusion_(set_theory) dbr:Wolfram_Media dbr:North-Holland_Publishing_Company dbr:Church-Turing_thesis dbr:Hilbert-style_deduction_system dbr:B,_C,_K,_W_System dbr:Functional_programming_languages dbr:Associative dbr:Extensional_equality dbr:Formal_parameter dbr:Non-strict_programming_language dbr:Curry–Howard_isomorphism dbr:J_programming_language dbr:SASL_programming_language
dbp:wikiPageUsesTemplate	dbt:!( dbt:Cite_book dbt:Math_proof dbt:))! dbt:Authority_control dbt:Cite_AV_media dbt:Cite_journal dbt:Cite_web dbt:Distinguish dbt:Harvtxt dbt:ISBN dbt:Main dbt:Math dbt:Mset dbt:Mvar dbt:Reflist dbt:Sfn dbt:Short_description dbt:Spaces dbt:Sub dbt:Tmath
dct:subject	dbc:Logic_in_computer_science dbc:Lambda_calculus dbc:Combinatory_logic
gold:hypernym	dbr:Notation
rdf:type	owl:Thing owl:Thing dbo:AcademicSubject
rdfs:label	Combinatory logic (en) Lògica combinatòria (ca) Lógica combinatoria (es) Kombinatorische Logik (de) Logique combinatoire (fr) コンビネータ論理 (ja) Lógica combinatória (pt) Combinatorische logica (nl) Rachunek kombinatorów (pl) Комбинаторная логика (ru) Комбінаторна логіка (uk) 组合子逻辑 (zh)
owl:sameAs	freebase:Combinatory logic wikidata:Combinatory logic dbpedia-de:Combinatory logic dbpedia-es:Combinatory logic dbpedia-nl:Combinatory logic dbpedia-pl:Combinatory logic dbpedia-fr:Combinatory logic dbpedia-ja:Combinatory logic dbpedia-pt:Combinatory logic dbpedia-ru:Combinatory logic dbpedia-zh:Combinatory logic dbpedia-ca:Combinatory logic http://d-nb.info/gnd/4164750-6 dbpedia-az:Combinatory logic dbpedia-gd:Combinatory logic dbpedia-gl:Combinatory logic dbpedia-hr:Combinatory logic dbpedia-hy:Combinatory logic dbpedia-no:Combinatory logic dbpedia-sh:Combinatory logic dbpedia-uk:Combinatory logic dbpedia-global:Combinatory logic
prov:wasDerivedFrom	wikipedia-en:Combinatory_logic?oldid=1300971604&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Combinatory_logic
is dbo:knownFor of	dbr:Haskell_Curry dbr:Moses_Schönfinkel
is dbo:wikiPageRedirects of	dbr:S_combinator dbr:Abstraction_elimination dbr:K_combinator dbr:Lambda_elimination dbr:Combinator dbr:Combinator_calculus dbr:Combinatorial_logic_(mathematics) dbr:Combinators dbr:Combinatory_Logic dbr:Combinatory_algebra dbr:S-combinator
is dbo:wikiPageWikiLink of	dbr:History_of_the_function_concept dbr:Constructive_set_theory dbr:Richard_Statman dbr:Computability dbr:Categorical_abstract_machine dbr:S_combinator dbr:Abstraction_elimination dbr:Word_problem_(mathematics) dbr:Deduction_theorem dbr:Algebraic_logic dbr:Mathematical_logic dbr:Omega dbr:Substructural_type_system dbr:Propositional_calculus dbr:Type_theory dbr:Corrado_Böhm dbr:Function_composition dbr:Hindley–Milner_type_system dbr:List_of_Russian_people dbr:Higher-order_function dbr:Greek_letters_used_in_mathematics,_science,_and_engineering dbr:Unlambda dbr:Program_counter dbr:Laws_of_Form dbr:Lambda_calculus_definition dbr:Combinatory_logic dbr:Haskell_Curry dbr:Hilbert_system dbr:Moses_Schönfinkel dbr:Fixed_point_(mathematics) dbr:Free_variables_and_bound_variables dbr:Parameter dbr:Iota_and_Jot dbr:Applicative_universal_grammar dbr:SKI_combinator_calculus dbr:Fixed-point_combinator dbr:B,_C,_K,_W_system dbr:Church–Turing_thesis dbr:Curry's_paradox dbr:Curry–Howard_correspondence dbr:Functional_programming dbr:Lambda_calculus dbr:Model_of_computation dbr:Raymond_Smullyan dbr:Scott–Curry_theorem dbr:Simply_typed_lambda_calculus dbr:Predicate_functor_logic dbr:Mark_Steedman dbr:To_Mock_a_Mockingbird dbr:Explicit_substitution dbr:Combinational_logic dbr:Eugene_McDonnell dbr:Lazy_evaluation dbr:Computable_topology dbr:List_of_Russian_mathematicians dbr:Categorial_grammar dbr:Theory_of_computation dbr:Kleene–Rosser_paradox dbr:De_Bruijn_index dbr:Binary_combinatory_logic dbr:List_of_Russian_scientists dbr:Combinatory_categorial_grammar dbr:Dependent_type dbr:Abstract_algebraic_logic dbr:Cylindric_algebra dbr:List_of_computability_and_complexity_topics dbr:List_of_mathematical_logic_topics dbr:List_of_mathematical_proofs dbr:Tacit_programming dbr:Applicative_computing_systems dbr:Outline_of_software_engineering dbr:Probabilistic_logic_network dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(A–C) dbr:Combinator_library dbr:Normalisation_by_evaluation dbr:Anonymous_recursion dbr:Deductive_lambda_calculus dbr:K_combinator dbr:Lambda_elimination dbr:Combinator dbr:Combinator_calculus dbr:Combinatorial_logic_(mathematics) dbr:Combinators dbr:Combinatory_Logic dbr:Combinatory_algebra dbr:S-combinator
is dbp:knownFor of	dbr:Haskell_Curry dbr:Moses_Schönfinkel
is foaf:primaryTopic of	wikipedia-en:Combinatory_logic