A Fixpoint Semantics for Ordered Logic

1 January 1990

journal article
Published by Oxford University Press (OUP) in Journal of Logic and Computation

Vol. 1 (2) , 159-185
https://doi.org/10.1093/logcom/1.2.159

Abstract

We develop semantics for a logic, called ordered logic (OL), which models the most important aspects of object-oriented programming languages, such as object identity, multiple inheritance and defaults. The logic is based on a partially ordered structure of logical theories, which play the role of objects. OL is non-monotonic under the natural modeltheoretic semantics.

Keywords

IMPORTANT ASPECTS
CLASSICAL LOGIC
MODELS
PARTIALLY ORDERED
NEGATION
CALLED ORDERED
DEVELOP SEMANTICS
ORDERED LOGIC

This publication has 0 references indexed in Scilit: