Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your 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
  • Download ($43.95)
  • Cite this Item
A Pretabular Classical Relevance Logic
Preview not available

Abstract

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.

Page Thumbnails

  • Thumbnail: Page 
[1211]
    [1211]
  • Thumbnail: Page 
1212
    1212
  • Thumbnail: Page 
1213
    1213
  • Thumbnail: Page 
1214
    1214
  • Thumbnail: Page 
1215
    1215
  • Thumbnail: Page 
1216
    1216
  • Thumbnail: Page 
1217
    1217
  • Thumbnail: Page 
1218
    1218
  • Thumbnail: Page 
1219
    1219
  • Thumbnail: Page 
1220
    1220
  • Thumbnail: Page 
1221
    1221