Variable Sharing in Substructural Logics: an Algebraic Characterization

Guillermo Badia

Bulletin of the Section of Logic (2018)

  • Volume: 47, Issue: 2
  • ISSN: 0138-0680

Abstract

top
We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.

How to cite

top

Guillermo Badia. "Variable Sharing in Substructural Logics: an Algebraic Characterization." Bulletin of the Section of Logic 47.2 (2018): null. <http://eudml.org/doc/295566>.

@article{GuillermoBadia2018,
abstract = {We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.},
author = {Guillermo Badia},
journal = {Bulletin of the Section of Logic},
keywords = {relevant logic; algebraic characterizations of logical properties; variable sharing property; substructural logics},
language = {eng},
number = {2},
pages = {null},
title = {Variable Sharing in Substructural Logics: an Algebraic Characterization},
url = {http://eudml.org/doc/295566},
volume = {47},
year = {2018},
}

TY - JOUR
AU - Guillermo Badia
TI - Variable Sharing in Substructural Logics: an Algebraic Characterization
JO - Bulletin of the Section of Logic
PY - 2018
VL - 47
IS - 2
SP - null
AB - We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.
LA - eng
KW - relevant logic; algebraic characterizations of logical properties; variable sharing property; substructural logics
UR - http://eudml.org/doc/295566
ER -

References

top
  1. [1] A. R. Anderson and N. D. Belnap, Entailment. The Logic of Relevance and Necessity, I, Princeton University Press, 1975. 
  2. [2] A. Avron, The basic relevance criterion, talk given at the Third Workshop in Edmonton, Canada, May 2016. 
  3. [3] M. Dunn and G. Restall, Relevance Logic [in:] D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Kluwer, 2002, pp. 1–128. 
  4. [4] N. Galatos, P. Jipsen, T. Kowalski and H. Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Elsevier, 2007. 
  5. [5] H. Kihara and H. Ono, Algebraic characterizations of variable separation properties, Reports on Mathematical Logic 43 (2008), pp. 43–63. 
  6. [6] L. L. Maksimova, Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras, Algebra i Logika 16 (1977), pp. 643–681. 
  7. [7] L. L. Maksimova, On variable separation in modal and superintuitionistic logics, Studia Logica 55 (1995), pp. 99–112. 
  8. [8] L. L. Maksimova, Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics, Logic, Algebra and Computer Science, Banach Center Publications, Vol. 46, Polish Academy of Science, Warszawa (1999), pp. 159–168. 
  9. [9] J. M. Méndez and G. Robles, A General Characterization of the Variable-Sharing Property by Means of Logical Matrices, Notre Dame Journal of Formal Logic, Vol. 53(2) (2012), pp. 223–244. 
  10. [10] D. Souma, An algebraic approach to the disjunction property of substructural logics, Notre Dame Journal of Formal Logic, Vol. 48(4) (2007), pp. 489–495. 
  11. [11] A. Wroński, Remarks on Halldén-completeness of modal and intermediate logics, Bulletin of the Section of Logic, Vol. 5/4 (1976), pp. 126–129. 
  12. [12] E. Yang, R and Relevance Principle Revisited, Journal of Philosophical Logic 42(5) (2013), pp. 767–782. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.