Polyadic quantifiers on dependent types

DOI10.1007/978-3-031-62687-6_18MaRDI QIDQ7034639zbMATH OpenFDO

Authors Marek Zawadowski, Justyna Grudzińska

Publication date 31 January 2025

Full work available at URL https://doi.org/10.1007/978-3-031-62687-6_18

zbMATH Keywords

dependent typenatural language quantificationpolyadic quantifier

Mathematics Subject Classification ID

Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80)

Cites work

• Beyond the frege boundary
• Continuation semantics for multi-quantifier sentences: operation-based approaches
• Dependent event types
• Generalized quantifiers and natural language
• scientific article; zbMATH DE number 6003856 (Why is no real title available?)
• scientific article; zbMATH DE number 996626 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 43595 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• scientific article; zbMATH DE number 4189705 (Why is no real title available?)
• Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account
• On a generalization of quantifiers
• Polyadic quantifiers
• The Cambridge dictionary of statistics

Cited in

(2)

• A dependently-typed calculus of event telicity and culminativity
• Variable polyadicity without events: a type-theoretic analysis of event semantics

This page was built for publication: Polyadic quantifiers on dependent types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034639)