English » Arabic

Translations for „intuitionistic“ in the English » Arabic Dictionary (Go to Arabic » English)

intuitionistic logic COMPUT

intuitionistic logic

intuitionistic theory of metaphor LING

Monolingual examples (not verified by PONS Editors)

English
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

Choose your language Deutsch | English | Español | Français | Italiano | Polski