Stronger compositions for retrenchments

Abstract. Noting that the usual `propositionally' based way of composing retrenchments can yield many `junk' cases, alternative approaches to composition are introduced (via notions of tidy, neat, and fastidious retrenchments) that behave better in this regard. These alternatives do however make other issues such as associativity harder. The technical details are presented for vertical composition of retrenchments (i.e. the composition of successive retrenchment steps). Keywords. Retrenchment, Composition, Associativity.

• Type: Journal
• Year: 2010
• Where: JLP
• Authors: Richard Banach, Czeslaw Jeske
• Keywords: Associativity, Fastidious Retrenchments, JLP 2010, Successive Retrenchment Steps