no code implementations • 16 Jan 2014 • Dov Gabbay, David Pearce, Agustín Valverde
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.