Article révisé par les pairs
| Résumé : | This paper shows that one can construct pure term models for intensional set theory ruled by the modal logic S4. |
 |
 |
| Export bibliographie |
|||||
|
|||||
|
|||||
|
|||||
|
|||||
|
|
| Résumé : | This paper shows that one can construct pure term models for intensional set theory ruled by the modal logic S4. |
| Export bibliographie |
|||||
|
|||||
|
|||||
|
|||||
|
|||||