You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
A Pretabular Classical Relevance Logic
Lisa Galminas and John G. Mersch
Studia Logica: An International Journal for Symbolic Logic
Vol. 100, No. 6, Recent Developments related to Residuated Lattices and Substructural Logics (December 2012), pp. 1211-1221
Published by: Springer
Stable URL: http://www.jstor.org/stable/23324833
Page Count: 11
Preview not available
In this paper we construct an extension, ℒ, of Anderson and Belnap's relevance logic R that is classical in the sense that it contains p&p → q as a theorem, and we prove that ℒ is pretabular in the sense that while it does not have a finite characteristic matrix, every proper normal extension of it does. We end the paper by commenting on the possibility of finding other classical relevance logics that are also pretabular.
Studia Logica: An International Journal for Symbolic Logic © 2012 Springer