Search: onr:"swepub:oai:gup.ub.gu.se/295604" >
A logic with measur...
-
Bernardy, Jean-Philippe,1978Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
(author)
A logic with measurable spaces for natural language semantics
- Article/chapterEnglish2020
Publisher, publication year, extent ...
Numbers
-
LIBRIS-ID:oai:gup.ub.gu.se/295604
-
https://gup.ub.gu.se/publication/295604URI
Supplementary language notes
Part of subdatabase
Classification
-
Subject category:vet swepub-contenttype
-
Subject category:art swepub-publicationtype
Notes
-
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.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
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)
Related titles
-
In:Applied Mathematics, Informatics And Mechanics2020, s. 31-441512-0074
Internet link
Find in a library
To the university's database