A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations.

Renata P. de Freitas Petrucio Viana

Published in: Diagrams (2012)

Keyphrases

algebraic equations
natural deduction
graph representation
directed graph
interval valued
random walk
graph theory
theorem prover
graph theoretic
weighted graph
linear logic
first order logic
fuzzy set theory
blind source separation
fuzzy relations
sequent calculus