Rewrite from Omega, Gamma to G, (w, Gamma_w)

Ayertienna / IS5

Intuitionistic S5 logic formalization

4 stars 0 forks source link

Closed Ayertienna closed 12 years ago

Ayertienna commented 12 years ago

Think about some cleaner way of rewriting, one that changes as little as possible.

Ayertienna commented 12 years ago

Done by changing representation for both languages, closing