292 search results - page 35 / 59 » First-order intensional logic |
145
click to vote
ACL
1989
15 years 7 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...
131
click to vote
BIRTHDAY
2005
Springer
15 years 11 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...
449
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
141
click to vote
JSYML
2010
15 years 18 days 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.
178
click to vote
CSL
2006
Springer
15 years 9 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...