单词 intuitionistic 释义 BETA

Examples ofintuitionistic

Dictionary> Examples ofintuitionisticintuitionisticisn’t in the Cambridge Dictionary yet. You can help!Add a definitionMoreover, the underlined logic of our system isintuitionisticlogic.From theCambridge English CorpusCategory-theory played an immense role in the disclosure of linear logic, ludics, in the correct understanding ofintuitionisticlogic.From theCambridge English CorpusIn our experience, theintuitionisticdiscipline does not make proofs harder: on the contrary, it improves clarity and elegance.From theCambridge English CorpusWe can now show that () is a translation from our modally classical logic tointuitionisticlogic, in the sense that judgements are preserved.From theCambridge English CorpusThe above theorem entails, in particular, that there is anintuitionisticphase space that is not phase isomorphic to any classical phase space.From theCambridge English CorpusWe will now introduceintuitionisticwell-foundation, then stability.From theCambridge English CorpusThis would provide further evidence for our conjecture that much of temporal logic can be generalized to theintuitionisticcase.From theCambridge English CorpusThis is the approach we take to determine the asymptotic fraction ofintuitionistictautologies among all types of a given length.From theCambridge English CorpusHere, we use a method inspired from categorical coherence proofs to normalize lambda terms (and thusintuitionisticproofs).From theCambridge English CorpusBy working in anintuitionisticframework one ensures that the normalization function thus obtained is an algorithm.From theCambridge English CorpusThere are several techniques known for translatingintuitionisticlogic into linear logic.From theCambridge English CorpusNote that the logic defined here is a particularly weak subset of higher-orderintuitionisticlogic.From theCambridge English CorpusSection 3 gives a natural deduction presentation ofintuitionisticlinear logic and defines a type reconstruction algorithm for the calculus.From theCambridge English CorpusIn section 4 we present our main result, the characterization of answer sets in terms ofintuitionisticlogic.From theCambridge English CorpusApplications ofintuitionisticlogic in answer set programming.From theCambridge English CorpusAxiomatically, the logic of here-and-there is intermediate betweenintuitionisticand classical logic.From theCambridge English CorpusAll of them contain all of theintuitionistictheorems, and are contained in the theorems of classical logic.From theCambridge English CorpusIntuitionisticlogic, a logic of knowledge, seems to be a natural inference system for this approach.From theCambridge English CorpusIt is thisintuitionisticaspect of our work that is both novel and fundamental to extracting a normalization algorithm.From theCambridge English CorpusWe 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.