A proof-theoretic universal property of determiners

DOI10.1016/j.jal.2015.09.001zbMath1386.03029OpenAlexW1895906313MaRDI QIDQ893600

Nissim Francez

Publication date: 19 November 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2015.09.001

zbMATH Keywords

proof-theoretic semanticsconservativityharmony and stabilitydeterminerspurity of rules

Mathematics Subject Classification ID

Logic of natural languages (03B65) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• A note on harmony
• Proof-theoretic semantics for subsentential phrases
• Validity concepts in proof-theoretic semantics
• A judgmental reconstruction of modal logic
• Proof-Theoretic Semantics for a Natural Language Fragment
• Generalized quantifiers and natural language

This page was built for publication: A proof-theoretic universal property of determiners