Faculté des lettres et sciences humaines

Priorean Strict Implication, Q and Related Systems

Correia, Fabrice

In: Studia Logica, 2001, vol. 69, no. 3, p. 411-427

We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it. Plus

Ajouter à la liste personnelle
    Summary
    We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.