首页    期刊浏览 2024年11月06日 星期三
登录注册

文章基本信息

  • 标题:Rn and Gn Logics
  • 本地全文:下载
  • 作者:Claus Hintermeier ; Hélene Kirchner ; Peter D. Mosses
  • 期刊名称:BRICS Report Series
  • 印刷版ISSN:0909-0878
  • 出版年度:1996
  • 卷号:3
  • 期号:51
  • 出版社:Aarhus University
  • 摘要:This paper proposes a simple, set-theoretic framework providing expressive typing, higher-order functions and initial models at the same time. Building upon Russell's ramified theory of types, we develop the theory of Rn-logics, which are axiomatisable by an order-sorted equational Horn logic with a membership predicate, and of Gn-logics, that provide in addition partial functions. The latter are therefore more adapted to the use in the program specification domain, while sharing interesting properties, like existence of an initial model, with Rn-logics. Operational semantics of Rn-/Gn-logics presentations is obtained through order-sorted conditional rewriting.
国家哲学社会科学文献中心版权所有