Size and Logic

Dov Gabbay (1) , Karl Schlechta (2)

1 King‘s College London
2 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166

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.

Mots clés: Nonmonotonic logic

Domaines: Logique [math.LO]

Dov Gabbay, Karl Schlechta. Size and Logic. 2009. ⟨hal-00366465⟩