id: 06080394
dt: a
an: 06080394
au: de Freitas, Renata; Viana, Petrucio
ti: A graph calculus for proving intuitionistic relation algebraic equations.
so: 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).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: proofs with graphs; relation algebra; intuitionistic logic
ci: 
li: doi:10.1007/978-3-642-31223-6_40
ab: 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 $Σ$ 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 $Σ$.
rv: