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.