Filter
Søkt på: Bøker av Nissim Francez
Filter
totalt 6 treff
A View of Connexive Logics
pocket,
2021,
Engelsk,
ISBN 9781848903708
This book is the first ever monograph on the topic of Connexive logics, a family of non-classical logics, based on the intuition that a proposition cannot validly imply, nor be …
Unification Grammars
innbundet,
2011,
Engelsk,
ISBN 9781107014176
Grammars of natural languages can be expressed as mathematical objects, similar to computer programs. Such a formal presentation of grammars facilitates mathematical reasoning with …
Proof-theoretic Semantics
pocket,
2015,
Engelsk,
ISBN 9781848901834
Unification Grammars
e-bok,
2011,
Engelsk,
ISBN 9781139211574
Grammars of natural languages can be expressed as mathematical objects, similar to computer programs. Such a formal presentation of grammars facilitates mathematical reasoning with …