95
Voted
CADE
2004
Springer
16 years 17 days ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...