1814 search results - page 33 / 363 » Extended First-Order Logic |
121
Voted
MST
2008
15 years 21 days ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
103
Voted
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Lambda logic is the union of first order logic and lambda calculus. We prove basic metatheorems for both total and partial versions of lambda logic. We use lambda logic to state a...
105
Voted
IJCAI
1989
15 years 1 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
290
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
91
Voted
JSYML
2010
14 years 7 months ago
2010
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.