292 search results - page 35 / 59 » First-order intensional logic |
119
click to vote
ACL
1989
15 years 4 months ago
1989
In BBN's natural language understanding and generation system (Janus), we have used a hybrid approach to representation, employing an intensional logic for the representation...
94
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
345
Voted
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
107
click to vote
JSYML
2010
14 years 10 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.
130
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Rational graphs are a family of graphs defined using labelled rational transducers. Unlike automatic graphs (defined using synchronized transducers) the first order theory of these...