Laws About Size and Interpolation in Non-monotonic Logics

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 

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