Partially interpreted relations and partially interpreted quantifiers

DOI10.1023/A:1004368325267MaRDI QIDQ1277330zbMATH OpenOpenAlexFDO

Authors Gabriel Sandu

Publication date 9 September 1999

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1004368325267

zbMATH Keywords

coherent quantifiersFeferman's quantifiersgeneralized quantifierspartiality of quantifierspartially interpreted quantifiers

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Logic with extra quantifiers and operators (03C80)

Review text

The partiality of quantifiers is examined from the viewpoint of generalized quantifiers. Two approaches -- based on Van Eijck's coherent quantifiers and Feferman's quantifiers -- are compared and their interdefinability is proved. Some misprints: p. \(592^5\) membership in \(R\) is omitted, p. \(597^9\) the upper index at \(Q\) should be 0.

Recommendations

• scientific article; zbMATH DE number 2149377
• Quantifiers and partiality
• On the general interpretation of first-order quantifiers
• Partially-ordered (branching) generalized quantifiers: A general definition

Cites work

• Henkin quantifiers and complete problems
• scientific article; zbMATH DE number 42734 (Why is no real title available?)
• scientific article; zbMATH DE number 42736 (Why is no real title available?)
• scientific article; zbMATH DE number 1028816 (Why is no real title available?)
• Outline of a Theory of Truth
• Quantifiers and partiality
• Toward useful type-free theories. I

Cited in

(3)

• Expressing quantification in relational calculus by participation constraints
• Quantifiers and partiality
• scientific article; zbMATH DE number 2149377 (Why is no real title available?)

This page was built for publication: Partially interpreted relations and partially interpreted quantifiers

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