Squares in Fork Arrow Logic

Título:

Squares in Fork Arrow Logic

Autor:

Renata Pereira de Freitas

Ano:

2003

Revista:

Journal of Philosophical Logic

ISSN:

00223611

Tags:

Fork arrow logic

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

On modularity and interpolation in general pi-institution

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)

Set Venn Diagrams Applied to Inclusions and Non-inclusions

An Application of Logic Engineering

On Positive Relational Calculi

On fork arrow logic and its expressive power