63 citations · 134 across the 19 of their papers we have counts for
1 paper · 1 filter
Roman Kuznets
We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of int…