{"id":"arxiv/2609.15216","url":"https://arxiv.org/abs/2609.15216","tags":["math.LO"],"score":0,"title":"Intuitionistic Implication in Elementary Team Logics","domain":"math.LO","source":"arxiv","authors":["Fredrik Engström","Juha Kontinen"],"reviews":0,"subject":"math.LO","summary":"The logic FOT is a team-based logic whose expressive power coincides with first-order logic at the level of both sentences and open formulas. In contrast to dependence and independence logics, which can define stronger second-order team properties, FOT is designed to capture exactly elementary team properties, modulo the empty team. In this paper we consider two modifications of FOT. First, we investigate essentially the inclusion atom free fragment of FOT. Our main result establishes quantifier elimination for the fragment in the empty signature. Second, we study an extension of FOT by the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-14","reactions":{}}