Ding, Yifeng; Harrison-Trainor, Matthew; Holliday, Wesley Halcrow

The Logic of Comparative Cardinality

2020

Author(s): Ding, Yifeng;
Harrison-Trainor, Matthew;
Holliday, Wesley Halcrow
et al.

Creative Commons 'BY-NC-ND' version 4.0 license

Abstract

This paper investigates the principles that one must add to Boolean algebra to capture reasoning not only about intersection, union, and omplementation of sets, but also about the relative size of sets. We completely axiomatize such reasoning under the Cantorian definition of relative size in terms of injections.

Main Content

For improved accessibility of PDF content, download the file to your device.

Group in Logic and the Methodology of Science

The Logic of Comparative Cardinality