\input zb-basic
\input zb-ioport
\iteman{io-port 06080394}
\itemau{de Freitas, Renata; Viana, Petrucio}
\itemti{A graph calculus for proving intuitionistic relation algebraic equations.}
\itemso{Cox, Philip (ed.) et al., Diagrammatic representation and inference. 7th international conference, Diagrams 2012, Canterbury, UK, July 2--6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31222-9/pbk). Lecture Notes in Computer Science 7352. Lecture Notes in Artificial Intelligence, 324-326 (2012).}
\itemab
Summary: In this work, we present a diagrammatic system in which diagrams based on graphs represent binary relations and reasoning on binary relations is performed by transformations on diagrams. We proved that if a diagram $D _{1}$ can be transformed into a diagram $D _{2}$ using the rules of our system, under a set $\Sigma $ of hypotheses, then it is intuitionistically true that the relation defined by diagram $D _{1}$ is a sub-relation of the one defined by diagram $D _{2}$, under the hypotheses in $\Sigma $.
\itemrv{~}
\itemcc{}
\itemut{proofs with graphs; relation algebra; intuitionistic logic}
\itemli{doi:10.1007/978-3-642-31223-6\_40}
\end