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...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Theoretical background<br />
Fork algebras<br />
Fork algebras<br />
Limitation of relation algebras<br />
Relations algebras can express first-order predicates with at most<br />
three variables<br />
Fork algebras<br />
Extend relation algebras with a pairing operator<br />
Equivalent in expressive and deductive power to first-order logic<br />
Paulo Silva (UMinho) <strong>Galois</strong> PLMMS’09 18 / 28