A note on Proof with Graphs

Título:

A note on Proof with Graphs

Autor:

Jorge Petrúcio Viana

Ano:

2008

DOI:

10.1016/j.scico.2008.08.002

Revista:

Science of Computer Programming

ISSN:

01676423

Tags:

Relational calculus

Graphical reasoning

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

Schematic systems

What is classical propositional logic?

Squares in Fork Arrow Logic

On Positive Relational Calculi

Hybrid logics with Sahlqvist axioms

On fork arrow logic and its expressive power

Decompositions by maxclique separators

Positive Fork Graph Calculus

A calculus for graphs with complement

On Graph Reasoning