D. Dubois

Structures of opposition in possibility theory-based logic and related logics

2025

The square of opposition represents interactions between logical quantifiers and involutive negations. About ten years ago it was noticed that the four set functions of possibility theory applied to opposite propositions induce a graded cube …