123
Voted
TABLEAUX
1998
Springer
15 years 7 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...