
Our work proposes to study the conuclear image of a substructural logic and in particular to investigate the relationship between a substructural logic and its conuclear image. We analyze some axioms familiar to substructural logics and we check if they: (a) are preserved under conuclear images, (b) never hold in a conuclear image, or (c) are compatible with conuclear images but are not necessarily preserved under conuclear images. Moreover, we prove that the conuclear image of any substructural logic has the disjunction property. We finally give a sufficient condition in order that an inequality is preserved under conuclear images and observe that if we slightly relax this condition, we meet counterexamples of inequalities that are not preserved under conuclear images.
double negation principle, Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics), substructural logic, disjunction property, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Other algebras related to logic
double negation principle, Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics), substructural logic, disjunction property, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), Other algebras related to logic
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
