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

DOI10.1093/LOGCOM/EXI005zbMath1070.03516OpenAlexW2141010564MaRDI QIDQ3025329

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)

Related Items (1)

Constructing situations and time

Uses Software

• QPA

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