Defining Logical Constants, the Insight from Basic Logic - HAL Accéder directement au contenu
Communication dans un congrès Année : 2004

Defining Logical Constants, the Insight from Basic Logic

Résumé

In Defining Logical Constants : An insight from Basic Logic (2004), Bonnay and I propose a local procedure to define logical constants inside a sequent calculus framework, BL.

Mots clés

Loading...
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : halshs-00791617 , version 1

Citer

Denis Bonnay, Benjamin Simmenauer. Defining Logical Constants, the Insight from Basic Logic. 9th ESSLLI Student Session, Aug 2004, Nancy, France. pp.27-35. ⟨halshs-00791617⟩
51 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