Galois
Galois: A Language for Proofs Using Galois connections and ... - ALFA
Galois: A Language for Proofs Using Galois connections and ... - ALFA
- No tags were found...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Logic vs. algebra<br />
Theoretical background<br />
Fork algebras<br />
Logic Algebra<br />
Propositional logic Boolean algebra<br />
Intuitionistic propositional logic Heyting algebra<br />
Predicate logic ??<br />
Paulo Silva (UMinho) <strong>Galois</strong> PLMMS’09 16 / 28