Computational logic and formal languages form a cornerstone of modern computer science and mathematics, providing the theoretical framework by which algorithms, automated reasoning systems and even ...

The research group `Language, logic and information' studies logical and computational aspects of language. Our research aims to build linguistically sound models of syntax, semantics and pragmatics, ...

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...

A sentence must never be interpreted out of context, as any scholar knows. It is pointless, furthermore, to suggest that separate sentences are true out of a context of linguistic and nonlinguistic ...

Sign languages can help reveal hidden aspects of the logical structure of spoken language, but they also highlight its limitations because speech lacks the rich iconic resources that sign language ...

When Arts students think of formal logic, plenty of things like pretentious debate bros and achingly advanced mathematics come up. A long time ago, I used to be one of these people. But that couldn’t ...