On the meaning of 'but' (formal specification)

摘要

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.