First order logic
No articlesFirst order predicatePredicate mathematical logicPredicate variableSecond order predicateMonadic predicate calculusQuantifier logicExistential quantificationUniversal quantificationUniqueness quantificationGeneralized quantifierLindstrom quantifierPlural quantificationFree logicEmpty domainSkolem functionSkolem hullHerbrand interpretationHerbrand structureHerbrand universeNonfirstorderizabilityMany sorted logicDiagram mathematical logicElementary diagram
No articles in this category yet — they're coming.