Set Venn Diagrams Applied to Inclusions and Non-inclusions

Título:

Set Venn Diagrams Applied to Inclusions and Non-inclusions

Autor:

Renata Pereira de Freitas

Ano:

2015

DOI:

10.1007/s10849-015-9227-2

Revista:

Journal of Logic, Language and Information

ISSN:

09258531

Home:

[doi:10.1007/s10849-015-9227-2]

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

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

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

The second Venn diagrammatic system

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

On modularity and interpolation in general pi-institution

Squares in Fork Arrow Logic

An Application of Logic Engineering

On Positive Relational Calculi

On fork arrow logic and its expressive power