Examples with "assertables" and their translation in English
We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
On démontre que l'interprétation BHK reformulée rend davantage de propositions assertables que la logique propositionnelle intuitionniste rend prouvable.
It is shown that the reformulated BHK interpretation renders more propositions assertable than are provable in intuitionistic propositional logic.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
