| 单词 | intuitionistic |
| 释义 | BETA Examples ofintuitionisticDictionary> Examples ofintuitionistic intuitionisticisn’t in the Cambridge Dictionary yet. You can help! Add a definition Moreover, the underlined logic of our system isintuitionisticlogic. From theCambridge English Corpus Category-theory played an immense role in the disclosure of linear logic, ludics, in the correct understanding ofintuitionisticlogic. From theCambridge English Corpus In our experience, theintuitionisticdiscipline does not make proofs harder: on the contrary, it improves clarity and elegance. From theCambridge English Corpus We can now show that () is a translation from our modally classical logic tointuitionisticlogic, in the sense that judgements are preserved. From theCambridge English Corpus The above theorem entails, in particular, that there is anintuitionisticphase space that is not phase isomorphic to any classical phase space. From theCambridge English Corpus We will now introduceintuitionisticwell-foundation, then stability. From theCambridge English Corpus This would provide further evidence for our conjecture that much of temporal logic can be generalized to theintuitionisticcase. From theCambridge English Corpus This is the approach we take to determine the asymptotic fraction ofintuitionistictautologies among all types of a given length. From theCambridge English Corpus Here, we use a method inspired from categorical coherence proofs to normalize lambda terms (and thusintuitionisticproofs). From theCambridge English Corpus By working in anintuitionisticframework one ensures that the normalization function thus obtained is an algorithm. From theCambridge English Corpus There are several techniques known for translatingintuitionisticlogic into linear logic. From theCambridge English Corpus Note that the logic defined here is a particularly weak subset of higher-orderintuitionisticlogic. From theCambridge English Corpus Section 3 gives a natural deduction presentation ofintuitionisticlinear logic and defines a type reconstruction algorithm for the calculus. From theCambridge English Corpus In section 4 we present our main result, the characterization of answer sets in terms ofintuitionisticlogic. From theCambridge English Corpus Applications ofintuitionisticlogic in answer set programming. From theCambridge English Corpus Axiomatically, the logic of here-and-there is intermediate betweenintuitionisticand classical logic. From theCambridge English Corpus All of them contain all of theintuitionistictheorems, and are contained in the theorems of classical logic. From theCambridge English Corpus Intuitionisticlogic, a logic of knowledge, seems to be a natural inference system for this approach. From theCambridge English Corpus It is thisintuitionisticaspect of our work that is both novel and fundamental to extracting a normalization algorithm. From theCambridge English Corpus We employ the qualifier 'classical' because we will consider anintuitionisticversion later on. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
|
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。