Defining Logical Constants, the Insight from Basic Logic

Fiche du document

Auteurs
Discipline
Type de document
Périmètre
Langue
Identifiants
Source

HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques

Collection

Archives ouvertes

Organisation

Centre pour la communication scientifique directe

Mots-clés It

logic

Sujets proches En

Argumentation Dialectic (Logic) Deduction (Logic) Deductive logic Logic, Deductive

Citer ce document

Denis Bonnay et al., « Defining Logical Constants, the Insight from Basic Logic », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10670/1.q34ruz

Métriques

Partage / Export

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.

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en