You are not currently logged in.
Access JSTOR 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
You can always find the topics here!Topics: Monoids, Logical theorems, Algebra, Relevance logic, Boolean algebras, Mathematical theorems, Induced substructures, Boolean data, Logical postulates, Reasoning
Were these topics helpful?See somethings inaccurate? Let us know!
Select the topics that are inaccurate.
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