scientific article; zbMATH DE number 1163940

MaRDI QIDQ4395564zbMATH OpenFDO

Authors Johan van Benthem

Publication date 1 November 1998

zbMATH Keywords

axiomatizationBoolean operatorsdefinabilitygeneralized quantifierslogical inferencemodel theoryproof theory

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Inferentialism and quantification
• Quantifiers and partiality
• scientific article; zbMATH DE number 1028834
• scientific article; zbMATH DE number 1852921
• Quantification in modern logic
• scientific article; zbMATH DE number 1749204
• scientific article; zbMATH DE number 2048510
• scientific article; zbMATH DE number 1028806
• Quantifiers in formal and natural languages

Cited in

(5)

• Quantifiers and cognition: logical and computational perspectives
• Which quantifiers are logical? A combined semantical and inferential criterion
• scientific article; zbMATH DE number 1292573 (Why is no real title available?)
• scientific article; zbMATH DE number 1163929 (Why is no real title available?)
• Study of inference rules for quantifiers in first-order logic inference system

This page was built for publication:

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