On Positive Relational Calculi

Título:

On Positive Relational Calculi

Autor:

Renata Pereira de Freitas

Ano:

2007

DOI:

10.1093/jigpal/jzm054

Revista:

Logic Journal of the IGPL

ISSN:

13670751

Home:

[doi:10.1093/jigpal/jzm054]

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

Squares in Fork Arrow Logic

The second Venn diagrammatic system

An Application of Logic Engineering

Set Venn Diagrams Applied to Inclusions and Non-inclusions

On fork arrow logic and its expressive power

A note on proofs with graphs

On modularity and interpolation in general pi-institution

On graph reasoning?

On vague notions and modalities: a modular approach