Tonk Strikes Back - HAL Accéder directement au contenu
Article dans une revue Australasian Journal of Logic Année : 2005

Tonk Strikes Back

Résumé

Bonnay and I propose a local procedure to define logical constants inside a sequent calculus framework, BL. In Tonk Strikes Back, we have proved that this procedure can be applied to a system of inference rules in order to banish the "tonk"-like pathological connectives from it.

Mots clés

Loading...
Fichier non déposé

Dates et versions

halshs-00791619, version 1 (21-02-2013)

Identifiants

  • HAL Id : halshs-00791619 , version 1

Citer

Denis Bonnay, Benjamin Simmenauer. Tonk Strikes Back. Australasian Journal of Logic, 2005, 3, pp.33-44. ⟨halshs-00791619⟩
234 Consultations
0 Téléchargements
Dernière date de mise à jour le 05/05/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus