A logic with measurable spaces for natural language semantics

Bernardy, Jean-Philippe,1978Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science (author)

We present a Logic with Measurable Spaces (LMS) and argue that it is suitable to represent the semantics of a number of natural lan- guage phenomena. LMS draws inspiration from several sources. It is decidable (like descriptive logics). It features Sigma spaces (like Martin-Lf type-theory). It internalises the notion of the cardinality (in fact, here, measures) of spaces and ratios thereof, allow- ing to capture the notion of event probability. In addition to being a powerful system, it is also concise and has a precise semantics in terms of integrals. Thanks to all these qualities, we hope that LMS can play a role in the foundations of natural language semantics.

Blanck, Rasmus,1982Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science(Swepub:gu)xblara (author)
Maskharashvili, Aleksandre,1987Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science(Swepub:gu)xmaska (author)
Göteborgs universitetInstitutionen för filosofi, lingvistik och vetenskapsteori (creator_code:org_t)

By the author/editor: Bernardy, Jean-P ...; Blanck, Rasmus, ...; Maskharashvili, ...

About the subject

NATURAL SCIENCES: NATURAL SCIENCES; and Computer and Inf ...; and Language Technol ...

NATURAL SCIENCES: NATURAL SCIENCES; and Mathematics; and Algebra and Logi ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.