Note : PQMSTDK2

Item

Title
Note : PQMSTDK2
Description
<p>"Un topos a une logique intuitionniste qui se réduit à une logique classique si le topos est booléen. Le lieu précède le sens." p. 8</p>
Is Referenced By
PQMSTDK2
Is Part Of
Diagrammes et Catégories
Date Submitted
2020-11-17T16:24:11Z
is compiled by
ARCANES
luckysemiosis
is in semantic relation with
citation
logique
topos
intuition
has source
Visio complète
Item sets
Groupe Zotero Arcanes

Annotations

[Annotation #4054] 2021-05-07 10:07:39 Samuel Szoniecky tagging
Value Purpose
luckysemiosis a taggé le document Note : PQMSTDK2 avec le tag citation
classifying
Target selector Selector type
citation
o:Item
[Annotation #4662] 2021-05-07 10:13:33 Samuel Szoniecky tagging
Value Purpose
luckysemiosis a taggé le document Note : PQMSTDK2 avec le tag logique
classifying
Target selector Selector type
logique
o:Item
[Annotation #4679] 2021-05-07 10:13:44 Samuel Szoniecky tagging
Value Purpose
luckysemiosis a taggé le document Note : PQMSTDK2 avec le tag topos
classifying
Target selector Selector type
topos
o:Item
[Annotation #5290] 2021-05-07 10:21:36 Samuel Szoniecky tagging
Value Purpose
luckysemiosis a taggé le document Note : PQMSTDK2 avec le tag intuition
classifying
Target selector Selector type
intuition
o:Item