On the meaning of 'but' (formal specification)
Pierre‐Yves Schobbens · 2002
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.>