Mathematica Eterna
Acesso livre

Abstrato

Relações e operadores modais

Yong Chan-Kim

Mostramos que relações reflexivas, transitivas e simétricas podem ser induzidas por operadores modais, de necessidade, de suficiência e de co-suficiência. Damos os seus exemplos.