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 schemaSchemaAxiomTheoryFormulaTheoremProof systemFormal systemAxiomaticsSymbolic logicPropositional logicPostulateWell-formed formulaFormation ruleLogicAxiomaAxiomizationFirst-order logicSentenceValuationInference ruleMetatheoremSemantic tableauFirst truthTautologySyllogismInterpretationAssumptionFormal ontologyAntecedentEnthymemeLemmaSubjectScheme theoryFormal logicPredicate logicPremiseIntensional logicTermArgumentBarbaraPhilosophemeModelDescription logicAntitheoremLogical constantDeduction theoremCategoricalSuppositumPostulationPropositional variableCategorical propositionParaconsistent logicSimplificationPrenex normal formMemberConditional proofRatio formalisSituation theoryPropositional functionClassical logicSimpleNatural deductionPostulatumQuantificationFigureProsyllogismSyntaxTheorumModal logicFormAbstract universalTerm logicConditionStrict implicationConstatationMaterial implicationMajor premisePrejacentPropositionGrammarMaximPredicate calculusUnconditionalVacuous truthLiteralConjectureExplanansMetavariableMetaconceptExplicandumEpisyllogismSufficient conditionDialecticSynthesisPolysyllogismConverseDoxastic logicExistential instantiationPositive logic