{"id":"arxiv/2610.08293","url":"https://arxiv.org/abs/2610.08293","tags":["cs.LO","math.LO"],"score":0,"title":"On Three-Valued Dependence-Like Logics","domain":"cs.LO","source":"arxiv","authors":["Yaroslav Petrukhin"],"reviews":0,"subject":"cs.LO","summary":"In this paper, we investigate connections between dependence logics, viewed as a subclass of relating logics, and three-valued logics. More specifically, we identify common features of Epstein's subject-matter semantics and the variable-inclusion conditions characteristic of some infectious many-valued logics. Inspired by Del Cerro and Lugardon's sequent calculi for dependence logics, in which classical connectives are combined with connectives satisfying Epstein-style conditions, we introduce two three-valued dependence-like logics that combine classical conjunction and disjunction with…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-06","reactions":{}}