MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Modus ponensModus ponendo ponensBackward chainingSyllogismInductive reasoningBackward inductionModus ponendo tollensPropositional logicModus tollensContrapositionModus tollendo ponensNatural deductionLogical consequenceMathematical inductionInference ruleRule of inferenceModus tollendo tollensDeductionEpisyllogismForward algorithmCase-based reasoningCausal inferenceMutual recursionMarkov logic networkInferenceProof systemChain ruleBelief propagationInference engineConditional proofProbabilistic logicResolutionAlgorithmSequential logicConjunction introductionRecursionIterated binary operationInductive logic programmingLogicEvent tree analysisParallel syntaxPredicate logicIpo modelRecurrence relationProbabilistic programmingInduction puzzlesBackpropagationLoop dependence analysisMathematical proofDerivationSpecification patternBayesian inferenceEuler methodProbabilistic neural networkComputation tree logicSemantic reasonerHypothetical syllogismExponentiationRecursive definitionIncremental learningNested sampling algorithmRelevance logicTherefore signEpichiremaProof by contradictionHoare logicAutomated theorem provingFunction applicationFormal epistemologyInverse iterationFirst-order logicBayes' theoremSequent calculusCausal loopConditional probabilityFormal concept analysisRegression treeDynamic programmingFormal proofArgument from analogySymbolic logicSecond-order logicRetrocausalityLöb's theoremModel of computationProof by assertionOutline of logicPolynomial expansionAnamorphismMarkov chainReverse mathematicsAxiom of pairingAntecedentCurryingBackward euler methodAnalytic reasoningBayesian hierarchical modelingAxiom of extensionalityArgumentFunction composition