Tableaux e indução na lógica do plausível

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A tableau system for Quasi-hybrid logic

Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.

A lógica do muito em um sistema de tablôs

Pós-graduação em Filosofia - FFC

Le juif du pape : pièce en 4 actes et 12 tableaux

par Edmond Fleg

Catalogue des tableaux et dessins provenant de l'atelier Jules Dupré

Jules Dupré. Précédé d'une notice par Paul Mantz

Ms. lat. qu. 142 Katalogband - Catalogue d'une importante collection de tableaux choisis dans diverses écoles et formant le cabinet de feu M. Fr. Wilmans de Francfort su le Mein par George, appréciateur d'objets d'arts

Alte Signatur: Art.Ff. 528