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.
Inference ruleFormal systemWell-formed formulaFormal logicFormulaGrammarLogicAxiom schemeFormalismPropositional logicFormal grammarProof systemTheoryFirst-order logicSchemaRatio formalisAxiom schemaFormal languageSyntaxSymbolic logicPredicate logicSentenceAgreementPropositional functionDescription logicValuationArgument formFormPostulateInterpretationTransformational ruleFormulationLogical constantTransformationLogical fallacyImportationDefineeIntensional logicModelAxiomParaconsistent logicBound formFigureFormal validityLimitContext-free languageTautologyAntecedentTheoremQuantificationTerm logicLiteral ruleLogical languageFormfulFormal ontologyPrenex normal formGraphotacticsConstructionContext-free grammarConjunctiveLogical connectiveTermCanonical formPeirce's lawMetatheoremWordformArgumentTerminal symbolNomenclatureInformal logicConjunctionPremiseFiguring outConeOrthotacticsChomsky normal formCategorial grammarPredicate calculusGenerative grammarMorpho-syntaxCase grammarGrammaticationSubjectClassical logicFormal causeNatural deductionLemmaTruth valueConditionModal logicColligationContext-sensitive grammarFormal semanticsPrecisificationCategoricalUnconditionalLaw of noncontradictionConjunctBilanguageParadigm