EXCLUSIVELY INDEXICAL DEDUCTION

DOI10.1017/S1755020316000125zbMath1391.03026MaRDI QIDQ5737956

Paul J. E. Dekker

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

proof systemdiscourse representation theoretic reasoningdynamic predicate logical inference

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Related Items (3)

Lorenzen won the game, Lorenz did too: dialogical logic for ellipsis and anaphora resolution ⋮ A proof-theoretic semantics for exclusion ⋮ On Groenendijk and Stokhof’s “Dynamic Predicate Logic”

Cites Work

• Unnamed Item
• Sequence semantics for dynamic predicate logic
• Dynamic predicate logic

This page was built for publication: EXCLUSIVELY INDEXICAL DEDUCTION