scientific article; zbMATH DE number 1794702

MaRDI QIDQ4552507zbMATH OpenFDO

Authors Emiel Krahmer, Paul Piwek

Publication date 25 November 2002

zbMATH Keywords

anaphoric theory of presuppositionconstructive type theorydiscourse theorypresupposition projectionworld knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic of natural languages (03B65) Second- and higher-order arithmetic and fragments (03F35) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 5997458
• Presupposition projection and conditionalization
• A partial account of presupposition projection
• Constructive proofs of negated statements
• scientific article; zbMATH DE number 1028814
• Presupposition and entailment
• Hypothetical logic of proofs
• Propositional logic of supposition and assertion
• Propositional proof skeletons
• On the Proof Method for Constructive Falsity

Cited in

(12)

• Anti-dynamics: Presupposition projection without dynamic semantics
• Proof assistants for natural language semantics
• Implementing the binding and accommodation theory for anaphora resolution and presupposition projection
• Presupposition incorporation in adverbial quantification
• scientific article; zbMATH DE number 1028814 (Why is no real title available?)
• Higher-Order Multi-Valued Resolution
• Some remarks on certain trivalent accounts of presupposition projection
• Presupposition projection and repair strategies in trivalent semantics
• A type reduction from proof-conditional to dynamic semantics
• Appositive projection as implicit context extension in dependent type semantics
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• A dependently-typed calculus of event telicity and culminativity

This page was built for publication:

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