Phrasal Coordination Relatedness Logic

Abstract

I presented a sub-classical relating logic based on a relating via an NL-inspired relating relation R^c_ss. The relation R^c_ss is motivated by the NL-phenomenon of phrasal (subsentential) coordination, exhibiting an important aspect of contents relating among the arguments of binary connectives. The resulting logic L^c_ss can be viewed as a relevance logic exhibiting a contents related relevance, stronger than the variable-sharing property of other relevance logics like R. Note that relating here is not “tailored” to justify some predetermined logic; rather, the relating relation is independently justified, and induces a logic not previously investigated.