Lowe, H., Jackson, M. & Benyon, D. (1997). Design rational for semi-automated theorem provers. Formal Aspects of Computing.. ISSN 0934-5043
Priss, U. (2006). FCA interpretation of relation algebra. doi:10.1007/11671404_17. ISBN 978-3-540-32203-0
This paper discusses an interpretation of relation algebra and fork algebra with respect to FCA contexts. In this case, "relation algebra" refers to the DeMorgan-Peirce-Schroe...
Jackson, M., Benyon, D., & Lowe, H. (2004). Using ERMIA for the Evaluation of a Theorem Prover Interface. In R. Backhouse (Ed.), Proceedings of the 4th International Workshop on User Interfaces for Theorem Provers, 104-111
ERMIA (Entity-Relationship Modelling of Information Artefacts) provides an extension to entity-relationship
modelling techniques to provide a structural representation of the ...
Priss, U. (2009). Combining FCA software and Sage