The logic of comparative cardinality

DOI10.1017/JSL.2019.67MaRDI QIDQ5855745zbMATH OpenOpenAlexFDO

Authors Yifeng Ding, Matthew Harrison-Trainor, Wesley H. Holliday

Publication date 19 March 2021

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

Full work available at URL https://escholarship.org/uc/item/2nn3c35x

zbMATH Keywords

Boolean algebracardinality comparisonsfields of setsqualitative probability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Probability and inductive logic (03B48) Other nonclassical logic (03B60) Ordinal and cardinal numbers (03E10) Logical aspects of Boolean algebras (03G05)

Recommendations

• Syllogistic logic with cardinality comparisons, on infinite sets
• Syllogistic logic with cardinality comparisons
• scientific article; zbMATH DE number 4021058
• Set size and the part-whole principle
• An Aristotelian notion of size

Cites work

• Axiomatizing the logic of comparative probability
• Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
• scientific article; zbMATH DE number 193123 (Why is no real title available?)
• scientific article; zbMATH DE number 3353239 (Why is no real title available?)
• scientific article; zbMATH DE number 4183384 (Why is no real title available?)
• Intuitive Probability on Finite Sets
• Measurement structures and linear inequalities
• Measuring the size of infinite collections of natural numbers: was Cantor's theory of infinite number inevitable?
• On the complexity of integer programming
• Qualitative probability as an intensional logic
• Set Theory
• Syllogistic logic with cardinality comparisons
• Syllogistic logic with cardinality comparisons, on infinite sets

Cited in

(10)

• Logics of imprecise comparative probability
• Determining definitions for comparing cardinalities
• scientific article; zbMATH DE number 4158605 (Why is no real title available?)
• scientific article; zbMATH DE number 4008288 (Why is no real title available?)
• Generalized Quantifiers Meet Modal Neighborhood Semantics
• INTERLEAVING LOGIC AND COUNTING
• Axiomatization of modal logic with counting
• Numerical expressive power of logical languages with cardinality comparison
• The logic of cardinality comparison without the axiom of choice
• Modal logic with ``Most

This page was built for publication: The logic of comparative cardinality

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