Conjunctive, Disjunctive, Negative Objects and Generalized Quantification

DOI10.1007/978-3-319-18362-6_5zbMath1437.03110OpenAlexW1018504413MaRDI QIDQ3299520

Ken Akiba

Publication date: 23 July 2020

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-18362-6_5

Mathematics Subject Classification ID

Logic of natural languages (03B65) Type theory (03B38)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• A new theory of quantifiers and term connectives
• Lectures on the Curry-Howard isomorphism
• General semantics
• Generalized quantifiers and natural language