A proof-theoretic universal property of determiners

DOI10.1016/J.JAL.2015.09.001MaRDI QIDQ893600zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The granularity of meaning in proof-theoretic semantics
• Proof-theoretic semantics
• Proof-theoretic semantics for a natural language fragment
• A proof-theoretic semantics for adjectival modification
• Views of proof-theoretic semantics: reified proof-theoretic meanings

Cites work

• scientific article; zbMATH DE number 819916 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A judgmental reconstruction of modal logic
• A note on harmony
• Generalized quantifiers and natural language
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• Validity concepts in proof-theoretic semantics

Cited in

(1)

• A universal deduction theorem

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

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