anglais » arabe

Traductions de „intuitionistic“ dans le dictionnaire anglais » arabe

(Aller à arabe » anglais)

intuitionistic logic INFOR

intuitionistic logic

intuitionistic theory of metaphor LING

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

anglais
As a consequence, they demonstrated that certain classically true formulas are unverifiable in the intuitionistic predicate calculus with strong negation.
en.wikipedia.org
However, vacuous truth also appears in, for example, intuitionistic logic in the same situations given above.
en.wikipedia.org
Different intuitionistic variants of linear logic have been considered.
en.wikipedia.org
This marks one important difference between classical and intuitionistic negation.
en.wikipedia.org
However, intuitionistic connectives are not definable in terms of each other in the same way as in classical logic, hence their choice matters.
en.wikipedia.org

Page en Deutsch | English | Español | Français | Italiano | Polski