Schematic systems

Título:

Schematic systems

Autor:

Jorge Petrúcio Viana

Ano:

1997

Revista:

Logic Journal of the IGPL

ISSN:

13670751

Tags:

Induction schemata

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

On Positive Relational Calculi

Introducing Polymodal Neighbourhood Logics

On vague notions and modalities: a modular approach

Decompositions by maxclique separators

The second Venn diagrammatic system

A calculus for graphs with complement

On distributed stochastic logics for mobile systems

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

On fork arrow logic and its expressive power

Decomposition by maxclique separators