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

Título:

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

Autor:

Renata Pereira de Freitas

Ano:

2001

Revista:

Logical Studies

Tags:

Propositional logic

Universal logic

Classical logic

Home:

http://www.logic.ru/LogStud/07/LS7.html

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

Set Venn Diagrams Applied to Inclusions and Non-inclusions

Squares in Fork Arrow Logic

On modularity and interpolation in general pi-institution

An Application of Logic Engineering

On Positive Relational Calculi

On fork arrow logic and its expressive power

On vague notions and modalities: a modular approach

A note on proofs with graphs

On graph reasoning?

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition