On the rules of intermediate logics |
| |
Authors: | Rosalie Iemhoff |
| |
Institution: | (1) Institute for Discrete Mathematics and Geometry E104, Vienna University of Technology, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria |
| |
Abstract: | 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 logics for which not all of the Visser rules are admissible is not known.
In this paper we give a brief overview of results on admissible rules in the context of intermediate logics. We apply these
results to some well-known intermediate logics. We provide natural examples of logics for which the Visser rule are derivable,
admissible but nonderivable, or not admissible.
Supported by the Austrian Science Fund FWF under projects P16264 and P16539. |
| |
Keywords: | 03B20 03F50 03B55 03F03 03F55 |
本文献已被 SpringerLink 等数据库收录! |
|