95
Voted
AMAI
2007
Springer
15 years 17 days ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...