A proof-theoretic universal property of determiners

DOI10.1016/J.JAL.2015.09.001zbMATH Open1386.03029OpenAlexW1895906313MaRDI QIDQ893600FDOQ893600

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

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

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

• A judgmental reconstruction of modal logic
• A note on harmony
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generalized quantifiers and natural language
• Validity concepts in proof-theoretic semantics
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases

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)