Back to Search
Start Over
Algebraic Kripke-Style Semantics for Relevance Logics.
- Source :
-
Journal of Philosophical Logic . Aug2014, Vol. 43 Issue 4, p803-826. 24p. - Publication Year :
- 2014
-
Abstract
- This paper deals with one kind of Kripke-style semantics, which we shall call algebraic Kripke-style semantics, for relevance logics. We first recall the logic R of relevant implication and some closely related systems, their corresponding algebraic structures, and algebraic completeness results. We provide simpler algebraic completeness proofs. We then introduce various types of algebraic Kripke-style semantics for these systems and connect them with algebraic semantics. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00223611
- Volume :
- 43
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- Journal of Philosophical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 96955801
- Full Text :
- https://doi.org/10.1007/s10992-013-9290-6