Reasoning on Relations, Modalities, and Sets

A. Formisano, E. G. Omodeo, Alberto Policriti
2018-01-01
Cite DOI URL
Type
Book section
Publication
Outstanding Contributions to Logic
Algebraic logic; Automated equational reasoning; Modal translation methods; Pairing; Relation algebras; Set-theoretic deduction

Related