Doctrine of  Mutual Mistake<1,2,3,4>

Sherwood v Walker

 

Rescind(Sherwood,  contract)

MutualMistake(barren, contract)

¬ RiskAllocatedTo(CO, Γ)

ViolateBA(contract)

Sherwood’s Belief Base ⊢cr  Barren

and

Walker’s Belief Base ⊢cr  Barren

CK ⊢sk Hold(Pregnant, E)

CK ∪ {Pregnant} ⊢sk  Price(800)

and

CK ⊢sk MuchMore(800,80)

Sherwood

Doctrine of Mutual Mistake<1,2,3,4>

CK ∪ {Pregnant} ⊢sk  ¬ Barren

Sherwood’s Belief Base ∪ {Barren} ⊢sk  Price(80)

and

Walker’s Belief Base ∪ {Barren} ⊢sk  Price(80)

Click here to view the context of this case

MoDiSo system

MMIS ⊢sk   Rescind(Sherwood,  contract)