A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

Título:

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

Autor:

Renata Pereira de Freitas

Ano:

2012

Revista:

Lecture Notes in Computer Science

ISSN:

03029743

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

On graph reasoning?

On vague notions and modalities: a modular approach

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

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

The second Venn diagrammatic system

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

Squares in Fork Arrow Logic

Set Venn Diagrams Applied to Inclusions and Non-inclusions

On modularity and interpolation in general pi-institution

An Application of Logic Engineering