Advertisement

Laws About Size and Interpolation in Non-monotonic Logics

  • Dov M. Gabbay
  • Karl Schlechta
Chapter
Part of the Cognitive Technologies book series (COGTECH)

Abstract

We connect here properties of abstract multiplication of abstract size to interpolation problems in non-monotonic logic. The size properties are, themselves, connected to properties of the preference relation in preferential logics.

Keywords

Classical Logic Minimal Element Interpolation Problem Preferential Structure Abstract Size 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  1. 1.Department of Computer ScienceKing’s College LondonLondonUK
  2. 2.Department of Computer ScienceBar Ilan UniversityRamat-GanIsrael
  3. 3.Computer Science and Communications Faculty of SciencesUniversity of LuxembourgLuxembourgGermany
  4. 4.CMIUniversité de ProvenceMarseille Cedex 13France

Personalised recommendations