Size and Logic

TL;DR

This paper introduces a framework for constructing various nonmonotonic logic rules based on fundamental notions of size, providing a systematic approach to logic development.

Contribution

It presents a novel method for deriving nonmonotonic logic rules from simple size-based concepts as foundational building blocks.

Findings

Develops a systematic approach to nonmonotonic logic construction

Uses size notions as fundamental building blocks for logic rules

Provides a unified framework for multiple nonmonotonic logic systems

Abstract

We show how to develop a multitude of rules of nonmonotonic logic from very simple and natural notions of size, using them as building blocks.