Size and Logic

2009/03/07 by Dov Gabbay, Gabbay, Dov, Karl Schlechta +1
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.0903.1367

arxiv created 2009/03/07 · arxiv updated 2009/12/01

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.

Related

• The size of a formula as a measure of complexity
• Sets and Their Sizes
• A memo on bornologies and size functions
• A Euclidean comparison theory for the size of sets
• An Almost Classical Logic for Logic Programming and Nonmonotonic Reasoning