Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Valverde, Agustí n"'
Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monot
Externí odkaz:
http://arxiv.org/abs/1012.3947
