A note on admissible rules and the disjunction property in intermediate logics |
| |
Authors: | Alexander Citkin |
| |
Institution: | 1. Metropolitan Telecommunications, New York, NY, USA
|
| |
Abstract: | With any structural inference rule A/B, we associate the rule ${(A \lor p)/(B \lor p)}$ , providing that formulas A and B do not contain the variable p. We call the latter rule a join-extension ( ${\lor}$ -extension, for short) of the former. Obviously, for any intermediate logic with disjunction property, a ${\lor}$ -extension of any admissible rule is also admissible in this logic. We investigate intermediate logics, in which the ${\lor}$ -extension of each admissible rule is admissible. We prove that any structural finitary consequence operator (for intermediate logic) can be defined by a set of ${\lor}$ -extended rules if and only if it can be defined through a set of well-connected Heyting algebras of a corresponding quasivariety. As we exemplify, the latter condition is satisfied for a broad class of algebraizable logics. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|