.png){kind=icon}
.png){kind=icon}
Return
Substructural Routes to Variable Inclusion
.png){kind=icon}
PRE
AI
DOI：10.1007/s10849-026-09456-0.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
This paper examines a range of logical systems within the family of variable inclusion logics-also known as containment logics. We focus on those logics that restrict classically valid inferences to ones meeting specific variable inclusion constraints, hence called variable inclusion companions of Classical Logic. These constraints can be seen as enforcing varying degrees of relevance between premises and conclusions, placing these systems within the broader tradition of relevance logics. We review established companions of Classical Logic, including Weak Kleene logics pure variable inclusion logics, uniform Weak Kleene logics and their intersection-pure uniform logics. We then introduce two new systems named analytic and synthetic companions of Classical Logic. We characterize their consequence relations and interpret them, as their names suggest, as validating only analytic and synthetic inferences. Lastly, we argue that these systems more effectively address the irrelevance cases that motivated earlier proposals, by correctly tracing them to the Monotonicity of the consequence relation.
Keywords:
Containment logic
Weak Kleene algebra
Content inclusion
Substructural logic
Journal
J
IF:
0.6
Papers:
29
Citations:
0