* Relação de acarretamento (ou consequência semântica, ou ''entailment'') associada a uma propriedade unária, e suas meta-propriedades fundamentais
[VIDEO]
* Acarretamento associado a uma dada semântica
[VIDEO]
* Da validade de sequentes e da correção de regras
[VIDEO]
* Da validade de fórmulas
[VIDEO]