A logic inspired by natural language: quantifiers as subnectors

DOI10.1007/S10992-014-9312-ZMaRDI QIDQ484201zbMATH OpenOpenAlexFDO

Authors 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 logicproof-theoretic semanticsquantifiersFrege's translationharmony and stabilitysubnectors

Mathematics Subject Classification ID

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

Recommendations

• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• scientific article; zbMATH DE number 3959383
• The quantified argument calculus
• Generalized quantifiers and first-order logic. I
• A logic for natural language

Cites work

• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1406467 (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 modal analysis of staged computation
• A note on harmony
• Absolute generality
• Logical inquiries into a new formal system with plural reference
• Meaning approached via proofs
• Natural deduction with general elimination rules
• Proof-theoretic semantics for a natural language fragment
• Proof-theoretic semantics for subsentential phrases
• Syllogistic logics with verbs
• The quantified argument calculus
• Views of proof-theoretic semantics: reified proof-theoretic meanings

Cited in

(9)

• scientific article; zbMATH DE number 1421192 (Why is no real title available?)
• scientific article; zbMATH DE number 1440289 (Why is no real title available?)
• Proof-theoretic semantics for natural language
• A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
• A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
• Connexive restricted quantification
• An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
• The quantified argument calculus
• Logical inquiries into a new formal system with plural reference

Describes a project that uses

Uses Software

• MiniML

This page was built for publication: A logic inspired by natural language: quantifiers as subnectors

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