A logic inspired by natural language: quantifiers as subnectors
From MaRDI portal
Publication:484201
DOI10.1007/S10992-014-9312-ZzbMATH Open1318.03025OpenAlexW1995764436MaRDI QIDQ484201FDOQ484201
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
Recommendations
first-order logicproof-theoretic semanticsquantifiersFrege's translationharmony and stabilitysubnectors
Cites Work
- Meaning approached via proofs
- A judgmental reconstruction of modal logic
- A note on harmony
- Title not available (Why is that?)
- A modal analysis of staged computation
- Natural deduction with general elimination rules
- Title not available (Why is that?)
- Proof-theoretic semantics for a natural language fragment
- Proof-theoretic semantics for subsentential phrases
- The quantified argument calculus
- Logical inquiries into a new formal system with plural reference
- Syllogistic logics with verbs
- Absolute generality
- Title not available (Why is that?)
- Views of proof-theoretic semantics: reified proof-theoretic meanings
Cited In (9)
- Title not available (Why is that?)
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
- Connexive restricted quantification
- Title not available (Why is that?)
- A three-valued quantified argument calculus: domain-free model-theory, completeness, and embedding of FOL
- Proof-theoretic semantics for natural language
- Logical inquiries into a new formal system with plural reference
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
- The quantified argument calculus
Uses Software
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)
