A logic inspired by natural language: quantifiers as subnectors

DOI10.1007/s10992-014-9312-zzbMath1318.03025OpenAlexW1995764436MaRDI QIDQ484201

Nissim Francez

Publication date: 18 December 2014

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

Full work available at URL: https://doi.org/10.1007/s10992-014-9312-z

zbMATH Keywords

first-order logicquantifiersproof-theoretic semanticsFrege's translationharmony and stabilitysubnectors

Mathematics Subject Classification ID

Logic of natural languages (03B65) Classical first-order logic (03B10)

Related Items

Connexive restricted quantification, A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on harmony
• Proof-theoretic semantics for subsentential phrases
• Natural deduction with general elimination rules
• Meaning approached via proofs
• A judgmental reconstruction of modal logic
• THE QUANTIFIED ARGUMENT CALCULUS
• A modal analysis of staged computation
• Syllogistic Logics with Verbs
• Proof-Theoretic Semantics for a Natural Language Fragment
• Views of proof-theoretic semantics: reified proof-theoretic meanings