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.
NegationLogical norDouble negationNon-monotonic logicProof by contradictionRule of inferenceNon-negative least squaresNatural deductionResolutionModus tollensRelevance logicContrapositionStrong np-completenessNegation normal formInverse function ruleComplementary eventMaterial conditionalProof of impossibilityAffine logicConjunction introductionCommutatorNon-negative matrix factorizationDisjunction introductionNon-associative algebraConditional proofNecessity and sufficiencyReverse mathematicsLogical consequenceInverse functionNonlinear programmingNo-go theoremAnticommutative propertyAsymmetric relationProvability logicAxiomatic systemModel checkingParadoxes of material implicationInverse iterationMarkov logic networkNonlinear systemNor logicAntisymmetric relationQuantum logicSatisfiability modulo theoriesInverse quadratic interpolationEssential spectrumProof by contrapositiveInequalityStrict conditionalContext-sensitive languageComposition algebraHorn-satisfiabilitySubstructural type systemIndependenceProbabilistic methodSheffer strokeSyntaxLimit comparison testAxiom of extensionalitySyllogismNumerical analysisNon-standard model of arithmeticMathematical proofMonotonic functionNull distributionCombinatory logicHorn clauseIf and only ifTruth valueIrreducible elementComplementInvertible matrixAxiom of choiceProbabilistic logicMonadic predicate calculusGeneralized inverseBounded inverse theoremNon-functional requirementComputational hardness assumptionSemantics of logicPrimitive notionIrreducible polynomialLaw of excluded middleNon-well-founded set theoryMaximal independent setInductive logic programmingStatistical hypothesis testingTranscendental functionNegative probabilityLaw of noncontradictionLambda calculusNondeterministic programmingRational root theoremIrreducible representationT-normFuzzy ruleEpsilon-inductionP-valueSld resolutionModel of computation