ArticleOriginal scientific text

Title

Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E

Authors

Abstract

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
Main language of publication
English
Published
2019
Humanities