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.
Formal proofSyllogismResolutionNatural deductionPrinciple of compositionalityLogical consequenceModus tollensHorn clauseConjunction introductionAxiomatic systemFormal concept analysisHypothetical syllogismContrapositionFormulaFirst-order logicSemantics of logicFormal languageMethod of analytic tableauxLogical formClauseFormal systemMathematical proofExistential generalizationTruth tableRecursive languageProof by contradictionQuantum logicPropositional variablePropositional formulaTruth valueConditional proofFunction typeArgumentation theoryInverse function ruleLogical biconditionalExpressionType theoryAristotelianismFormal grammarSet-builder notationModel of computationProof calculusIf and only ifDisjunction introductionLogical connectiveRelevance logicDisjunctive normal formInductive logic programmingDerivationDecision ruleAxiom schemaFormal scienceModus ponensGrammatical relationFunctional completenessGrammatical constructionBoolean satisfiability problemDefinite descriptionLogical conjunctionContext-free grammarAlgorithmFunctional analysisProduct ruleSemigroup actionSyntaxPhonological ruleStrict conditionalOperadPhilosophical logicLaw of total probabilityAxiom of extensionalityAxiom schema of specificationNatural transformationGrammatical conjugationCausal modelFunction applicationArgumentRecursive definitionMetavariableInductive reasoningConjunctive normal formAlgebraic expressionLambda calculusSecond-order logicAlgebraic structureChain rulePsychology of reasoningFunctional decompositionImplicit function theoremStatistical hypothesis testingRule utilitarianismSentence clause structureFunctional calculusOutline of logicCompletenessCausal inferenceDiagramMaterial conditionalEvaluation strategyDiscourse relation