Natural deduction for generalized quantifiers

MaRDI QIDQ2702240zbMATH OpenFDO

Authors Michiel van Lambalgen

Publication date 12 March 2001

zbMATH Keywords

first-order logicgeneralized quantifiernatural deduction

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Recommendations

• On being naturally general
• Generalized quantifiers and first-order logic. I
• On the Structure of Natural Deduction Derivations for “Generally”
• Generalized quantifiers and modal logic
• scientific article; zbMATH DE number 3946094

Cited in

(11)

• Natural deduction and arbitrary objects
• In conjunction with qualitative probability
• Directions in generalized quantifier theory
• scientific article; zbMATH DE number 4132122 (Why is no real title available?)
• On being naturally general
• Generalized quantifiers and first-order logic. I
• Generalisation of first-order logic to nonatomic domains
• A generalized quantifier logic for naked infinitives
• Constructive natural deduction and its ‘ω-set’ interpretation
• On the Structure of Natural Deduction Derivations for “Generally”
• The hierarchy theorem for generalized quantifiers

This page was built for publication: Natural deduction for generalized quantifiers

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