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

DOI10.1093/LOGCOM/EXI005zbMATH Open1070.03516OpenAlexW2141010564MaRDI QIDQ3025329FDOQ3025329

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

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

zbMATH Keywords

type theoryquestionsSemantics of interrogatives

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Cited In (4)

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

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)