Voici les éléments 1 - 1 sur 1
Pas de vignette d'image disponible
Publication
Accès libre

Propositional Logic of Essence

2000, Correia, Fabrice

This paper presents a propositional version of Kit Fine"s (quantified) logic for essentialist statements, provides it with a semantics, and proves the former adequate (i.e. sound and complete) with respect to the latter.