An user Frans
zegt…

Une
Bepaler
  sémantique
Zelfstandig naamwoord
  possible
Bijvoeglijk naamwoord
  de la
  logique
Zelfstandig naamwoord
  intuitionniste
Bijvoeglijk naamwoord
  se
Voornaamwoord
  fait
Werkwoord
  dans
Adpositie
  les
Bepaler
  modèles
Zelfstandig naamwoord
  de
Adpositie
 Kripke.

Een mogelijke semantiek van intuïtionistische logica wordt gedaan in Kripke -modellen.

Markeer dit

Verbeter je uitspraak

Verberg zinsstructuur

Onjuiste gegevens melden

Notes

Sign in to write sticky notes

Questions