
handle: 11575/141583
AbstractThis paper is devoted to the investigation of term-definable connexive implications in substructural logics with exchange and, on the semantical perspective, in sub-varieties of commutative residuated lattices (FL ${}_{\scriptsize\mbox{e}}$ -algebras). In particular, we inquire into sufficient and necessary conditions under which generalizations of the connexive implication-like operation defined in [6] for Heyting algebras still satisfy connexive theses. It will turn out that, in most cases, connexive principles are equivalent to the equational Glivenko property with respect to Boolean algebras. Furthermore, we provide some philosophical upshots like, e.g., a discussion on the relevance of the above operation in relationship with G. Polya’s logic of plausible inference, and some characterization results on weak and strong connexivity.
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics), 03B47, 03B55, 03A10, Logic in the philosophy of science, residuated lattices, Mathematics - Logic, Other nonclassical logic, Glivenko property, Intermediate logics, substructural logics, connexive logic, residuated lattices, Glivenko property, substructural logics, weakly connexive logic, strong connexivity, weakly connexive logic, FOS: Mathematics, strong connexivity, Logic (math.LO), connexive logic
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics), 03B47, 03B55, 03A10, Logic in the philosophy of science, residuated lattices, Mathematics - Logic, Other nonclassical logic, Glivenko property, Intermediate logics, substructural logics, connexive logic, residuated lattices, Glivenko property, substructural logics, weakly connexive logic, strong connexivity, weakly connexive logic, FOS: Mathematics, strong connexivity, Logic (math.LO), connexive logic
| citations 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 |
