Capturing dual team properties with inclusion atoms
Este artigo apresenta lógicas baseadas em equipes proposicionais que capturam propriedades (quase) descendentes e ascendentes de forma dual através de variantes de átomos de inclusão, estabelecendo suas formas normais e fornecendo sistemas de dedução natural completos e corretos para cada lógica.