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.
Axiom schemeSchemaAxiomTheoryFormulaTheoremProof systemFormal systemAxiomaticsPostulateSymbolic logicWell-formed formulaAxiomaPropositional logicSemantic tableauFormation ruleAxiomizationLogicMetatheoremFormal ontologySentenceFirst-order logicFirst truthValuationSubjectInference ruleDescription logicTautologySyllogismAntecedentModelAssumptionPredicate logicFormal logicPhilosophemePremiseLemmaSuppositumTermConceptual schemaIntensional logicEnthymemeInterpretationBarbaraLogical constantAntitheoremPrenex normal formCategoricalPropositional variableDeduction theoremArgumentScheme theoryPostulatumCategorical propositionTheorumRatio formalisSimplificationParaconsistent logicPostulationSyntaxLiteralFigurePropositional functionSimpleConstatationClassical logicMetavariableMemberStrict implicationProsyllogismSituation theoryQuantificationTruth valueMajor premiseMaterial implicationMetaconceptExplicandumModal logicConditionGrammarVacuous truthTerm logicMaximNatural deductionAbstract universalUnconditionalExplanansPropositionPrejacentConditional proofPositive logicPredicate calculusFormRelevance logicPredicateConjectureApodictEpisyllogismSuperordinationEx falso quod libet