Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Generalized quantifiers i… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Generalized quantifiers in dependence logic

Artikel i vetenskaplig tidskrift
Författare Fredrik Engström
Publicerad i Journal of Logic, Language and Information
Volym 21
Nummer/häfte 3
Sidor 299–324
ISSN 0925-8531
Publiceringsår 2012
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 299–324
Språk en
Länkar dx.doi.org/10.1007/s10849-012-9162-...
Ämnesord Dependence logic, Independence friendly logic, Generalized quantifiers, Multi valued dependence
Ämneskategorier Matematisk logik, Logik

Sammanfattning

We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. This atom is in fact definably equivalent to the independence atom recently introduced by Väänänen and Grädel.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?