Document implementation details

Ayertienna / IS5

Intuitionistic S5 logic formalization

4 stars 0 forks source link

Closed Ayertienna closed 11 years ago

Ayertienna commented 12 years ago

We need tex-ed documentation details for both label-free and labeled language.

Original vs implemented semantics
Motivation behind chosen formalization method
Some justification of correctness (esp. for simplified substitution in label-free language)

Ayertienna commented 12 years ago

This was started with -> description of how we ended up with label-free language that has labels.

Ayertienna commented 11 years ago

this is a chapter in the thesis, closing (it belongs to tex repo basically)