Set Venn Diagrams Applied to Inclusions and Non-inclusions

Título:

Set Venn Diagrams Applied to Inclusions and Non-inclusions

Autor:

Jorge Petrúcio Viana

Ano:

2015

DOI:

10.1007/s10849-015-9227-2

Revista:

Journal of Logic, Language and Information

ISSN:

09258531

Tags:

Álgebra of sets

Diagrammatic Systems

Home:

[http://link.springer.com/article/10.1007/s10849-015-9227-2/fulltext.html]

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

Hybrid logics with Sahlqvist axioms

On admissible orders over closed subintervals of [0,1]

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

On the (In)Dependence of the Peano Axioms for Natural Numbers

On Positive Relational Calculi

On characterizations by nice forbidding sets

On fork arrow logic and its expressive power

A note on Proof with Graphs

Positive Fork Graph Calculus