Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records

DOI10.1093/LOGCOM/EXI005MaRDI QIDQ3025329zbMATH OpenOpenAlexFDO

Authors Jonathan Ginzburg

Publication date 13 July 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://kclpure.kcl.ac.uk/portal/en/publications/abstraction-and-ontology(7cf0f301-b2cc-48ff-9cdc-2ebb1c5ed5d6).html

zbMATH Keywords

type theoryquestionsSemantics of interrogatives

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• Records and Record Types in Semantic Theory
• The algebraic semantics of interrogative NPs
• scientific article; zbMATH DE number 3639581
• Axiomatising questions
• Generalized Quantifiers in Declarative and Interrogative Sentences

Cited in

(4)

• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
• Constructing situations and time
• Axiomatising questions
• Records and Record Types in Semantic Theory

Describes a project that uses

Uses Software

• QPA

This page was built for publication: Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records

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