On the meaning of "but"

Abstract

In this paper, a formalisation of exceptions to a general rule is proposed. It builds upon the modularisation of theories proposed by the algebraic specification approach, and preserves its engineering principles: modularity and compositionality. It relies on a model-theoretic definition of the "but" conjunctive, whose properties and implementations are explored.