Premium
The „Dialectica”︁ Interpretation and Categories
Author(s) -
Scott Philip J.
Publication year - 1978
Publication title -
mathematical logic quarterly
Language(s) - French
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19780243109
Subject(s) - interpretation (philosophy) , citation , epistemology , library science , sociology , philosophy , computer science , linguistics
Exploration des liens entre logique mathematique et theorie des categories, a propos de l'Interpretation Dialectica de Godel. L'A. introduit une structure categorielle correspondant a une theorie intuitionniste et considere a quelles conditions cette structure peut etre mise en relation avec l'Interpretation Dialectica.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom