On fork arrow logic and its expressive power

Título:

On fork arrow logic and its expressive power

Autor:

Renata Pereira de Freitas

Ano:

2007

DOI:

10.1007/s10992-006-9043-x

Revista:

Journal of Philosophical Logic

ISSN:

00223611

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

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

On vague notions and modalities: a modular approach

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Squares in Fork Arrow Logic

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

An Application of Logic Engineering

On modularity and interpolation in general pi-institution

On Positive Relational Calculi

A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations

The second Venn diagrammatic system