Defining Logical Constants, the Insight from Basic Logic
Denis Bonnay
- Fonction : Auteur
- PersonId : 829848
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.
Format du dépôt | Notice |
---|---|
Type de dépôt | Communication dans un congrès |
Titre |
en
Defining Logical Constants, the Insight from Basic Logic
|
Résumé |
en
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.
|
Auteur(s) |
Denis Bonnay
1
, Benjamin Simmenauer
1
IHPST -
Institut d'Histoire et de Philosophie des Sciences et des Techniques
( 1342 )
- 13 Rue du four
75006 PARIS
- France
|
Vulgarisation |
Non
|
Comité de lecture |
Oui
|
Actes |
Oui
|
Invité |
Non
|
Langue du document |
Anglais
|
Date de production/écriture |
2004
|
Titre de l'ouvrage |
Proceedings of the 9th ESSLLI Student Session
|
Audience |
Nationale
|
Date de publication |
2004
|
Page/Identifiant |
27-35
|
Titre du congrès |
9th ESSLLI Student Session
|
Date début congrès |
2004-08
|
Ville |
Nancy
|
Pays |
France
|
Domaine(s) |
|
Éditeur commercial |
|
Éditeur scientifique |
|
Référence interne |
|
Mots-clés |
it
logic
|
Loading...