已收录 272993 条政策
 政策提纲
  • 暂无提纲
La logique combinatoire : logique de l'objet quelconque ou logique de l'opérateur ?
[摘要] Is combinatory logic a logic of any objects whatever or a logic of operators?(1) The philosophical commitments of combinatory logic are explained from several principles, not always explicit in literature (pansemy, complete formalisation, ontological neutrality, reversibility, free application).(2) Examples known, then new) of the combinatory style are given in order to identify the program of this logic. The technical contributions of the author are (mainly) : the elimination of propositional functors by new combinators (distributors of semantical objects), then by classical combinators. The process called « currying » and the theory of functionality are revisited. Everywhere, the notion of « any object whatever » turns out to be capital.
[发布日期]  [发布机构] 
[效力级别]  [学科分类] 数学(综合)
[关键词] ontology;combinatory logic;formalization;curryfication [时效性] 
   浏览次数:26      统一登录查看全文      激活码登录查看全文