· Boletim da Sociedade Paranaense de Matemática 2º Série. Vol. 14, n.º 1/2,p.1-110. Curitiba. 1993/1994.

Sumário

FARAH – Le Théorème de Tychonoff pour les Produits Finis d’Espaces Compacts --

p.1

DA COSTA & QING-YO – The Weak Paraconsistent Conditional Logic CnW ------

p.11

CELANI – Álgebras de Heyting – Trivalentes Involutivas ------------------------

p.21

ANDRADE – Equações Não-Lineares em Espaços de Banach --------------------

p.33

BÉZIAU – De la Logique Formelle a la logique Abstraite ------------------------

p.41

DA SILVA – O Desenvolvimento da Geometria Analítica e a Influência de Descartes e Euler na Obra de Auguste Comte ----------------------------------------------

p.51

FERREL & DE LA CRUZ – Observações sobre Sentinelas para Sistemas Distribuídos com Dados Incompletos -----------------------------------------------------

p.79

CÁCERES – Sentinela Discriminate com um Observatório Dependendo do Tempo ---

p.93

VÁSQUEZ – Uma Semântica Compacta Mínima para a Lógica de Segunda Ordem --

p.101