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 (författare)

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 (författare)
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 (författare)
Göteborgs universitetInstitutionen för filosofi, lingvistik och vetenskapsteori (creator_code:org_t)

Av författaren/redakt...: Bernardy, Jean-P ...; Blanck, Rasmus, ...; Maskharashvili, ...

Om ämnet

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...; och Språkteknologi

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.