Tonk Strikes Back

Denis Bonnay (1) , Benjamin Simmenauer

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

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: logic

Domaines: Histoire, Philosophie et Sociologie des sciences

Denis Bonnay, Benjamin Simmenauer. Tonk Strikes Back. Australasian Journal of Logic, 2005, 3, pp.33-44. ⟨halshs-00791619⟩