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.
KeywordsClassical 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.
© Springer-Verlag Berlin Heidelberg 2011