Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E
Bulletin of the Section of Logic, Tome 48 (2019) no. 1
Voir la notice de l'article provenant de la source Library of Science
The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite sequences of premaximal extensions of the logic E. Note that for the relevant logic R there exist exactly three pre-maximal logics, i.e. coatoms in the interval [R,CL].
Keywords:
relevant logic, non-classical logics, lattice, universal algebra
@article{BSL_2019_48_1_a4,
author = {Typa\'nska-Czajka, Lidia},
title = {Two {Infinite} {Sequences} of {Pre-Maximal} {Extensions} of the {Relevant} {Logic} {E}},
journal = {Bulletin of the Section of Logic},
publisher = {mathdoc},
volume = {48},
number = {1},
year = {2019},
language = {en},
url = {http://geodesic.mathdoc.fr/item/BSL_2019_48_1_a4/}
}
Typańska-Czajka, Lidia. Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E. Bulletin of the Section of Logic, Tome 48 (2019) no. 1. http://geodesic.mathdoc.fr/item/BSL_2019_48_1_a4/