Laws About Size and Interpolation in Non-monotonic Logics

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


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.


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