What is a logic, and what is a proof?

Lutz Straßburger

doi:10.1007/3-7643-7304-0_8

What is a logic, and what is a proof?

Lutz Straßburger

Universität des Saarlandes

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

Résumé

I will discuss the two problems of how to define identity between logics and how to define identity between proofs. For the identity of logics, I will propose a possible notion, which might be considered to be folklore, but which seems to be the right one from the viewpoint of the problem of the identity of proofs. For that problem I will indicate a possible direction of research.

langue originale	Anglais
titre	Logica Universalis
Sous-titre	Towards a General Theory of Logic
Editeur	Birkhäuser Verlag Basel • Boston • Berlin
Pages	135-145
Nombre de pages	11
ISBN (imprimé)	3764372591, 9783764372590
Les DOIs	https://doi.org/10.1007/3-7643-7304-0_8
état	Publié - 1 déc. 2005
Modification externe	Oui

Accès au document

10.1007/3-7643-7304-0_8

Contient cette citation

@inbook{6b6f1fc9d0b84558b2ec99661969a2c2,

title = "What is a logic, and what is a proof?",

abstract = "I will discuss the two problems of how to define identity between logics and how to define identity between proofs. For the identity of logics, I will propose a possible notion, which might be considered to be folklore, but which seems to be the right one from the viewpoint of the problem of the identity of proofs. For that problem I will indicate a possible direction of research.",

author = "Lutz Stra{\ss}burger",

year = "2005",

month = dec,

day = "1",

doi = "10.1007/3-7643-7304-0\_8",

language = "English",

isbn = "3764372591",

pages = "135--145",