On graph reasoning?

Título:

On graph reasoning?

Autor:

Renata Pereira de Freitas

Ano:

2009

DOI:

10.1016/j.ic.2008.11.004

Revista:

Information and Computation

ISSN:

08905401

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

What is classical propositional logic? (A study in universal logic)

On vague notions and modalities: a modular approach

Squares in Fork Arrow Logic

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

An Application of Logic Engineering

Resolução do exemplo clássico do Lema de Borel-Cantelli: o Problema do Macaco.

On Positive Relational Calculi

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

On fork arrow logic and its expressive power

The second Venn diagrammatic system