Sciweavers

AML
2006
87views more  AML 2006»
13 years 11 months ago
On the rules of intermediate logics
If the Visser rules are admissible for an intermediate logic, they form a basis for the admissible rules of the logic. How to characterize the admissible rules of intermediate log...
Rosalie Iemhoff