Where gamma fails |
| |
Authors: | Robert K. Meyer Steve Giambrone Ross T. Brady |
| |
Affiliation: | (1) Australian National University, Australia;(2) University of South-Western Louisiana, USA;(3) LaTrobe University, USA |
| |
Abstract: | A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|