Since 2014
Rn and Gn Logics
BRICS Report Series
View Archive Info| Field | Value | |
| Title |
Rn and Gn Logics
|
|
| Creator |
Hintermeier, Claus
Kirchner, Hélene Mosses, Peter D. |
|
| Description |
This paper proposes a simple, set-theoretic framework providingexpressive typing, higher-order functions and initial models atthe same time. Building upon Russell's ramified theory of types, we developthe theory of Rn-logics, which are axiomatisable by an order-sortedequational Horn logic with a membership predicate, and of Gn-logics,that provide in addition partial functions. The latter are therefore moreadapted 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 throughorder-sorted conditional rewriting.
|
|
| Publisher |
Aarhus University
|
|
| Contributor |
—
|
|
| Date |
1996-06-21
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — |
|
| Format |
application/pdf
|
|
| Identifier |
https://tidsskrift.dk/brics/article/view/20054
10.7146/brics.v3i51.20054 |
|
| Source |
BRICS Report Series; No 51 (1996): RS-51 Rn and Gn Logics
BRICS Report Series; No 51 (1996): RS-51 Rn and Gn Logics 1601-5355 0909-0878 |
|
| Language |
eng
|
|
| Relation |
https://tidsskrift.dk/brics/article/view/20054/17680
|
|
| Rights |
Copyright (c) 2015 BRICS Report Series
|
|