The second Venn diagrammatic system

Título:

The second Venn diagrammatic system

Autor:

Jorge Petrúcio Viana

Ano:

2014

Revista:

Lecture Notes in Computer Science

ISSN:

03029743

Tags:

Reasoning with diagrams

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

Schematic systems

On Graph Reasoning

Introducing Polymodal Neighbourhood Logics

What is classical propositional logic?

Squares in Fork Arrow Logic

Hybrid logics with Sahlqvist axioms

On vague notions and modalities: a modular approach

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

On distributed stochastic logics for mobile systems

Decompositions by maxclique separators