Basic quantifier theory

MaRDI QIDQ2702230zbMATH OpenFDO

Authors Jaap van der Does, Jan van Eijck

Publication date 26 July 2001

zbMATH Keywords

decidabilitygeneralized quantifierslinguisticsquantificationquantifier logicstableau method

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80)

Recommendations

• Polyadic quantifiers
• scientific article; zbMATH DE number 1303461
• Directions in generalized quantifier theory
• scientific article; zbMATH DE number 1163929
• scientific article; zbMATH DE number 1163939

Cited in

(8)

• A system of relational syllogistic incorporating full Boolean reasoning
• Strong and weak quantifiers in focused \({\text{NL}}_{\text{CL}}\)
• Quantifiers. Hintikka and Frege on quantification concepts
• scientific article; zbMATH DE number 589743 (Why is no real title available?)
• scientific article; zbMATH DE number 870184 (Why is no real title available?)
• scientific article; zbMATH DE number 6769394 (Why is no real title available?)
• Weak independence of quantifiers
• Basic predicate calculus

This page was built for publication: Basic quantifier theory

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