A logic inspired by natural language: quantifiers as subnectors
From MaRDI portal
Publication:484201
DOI10.1007/S10992-014-9312-ZzbMATH Open1318.03025OpenAlexW1995764436MaRDI QIDQ484201FDOQ484201
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Views of proof-theoretic semantics: reified proof-theoretic meanings
Cited In (8)
- Title not available (Why is that?)
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
- A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL
- Connexive restricted quantification
- Title not available (Why is that?)
- 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
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)
