Pages that link to "First-order logic"
Jump to navigation
Jump to search
The following pages link to First-order logic:
Displaying 50 items.
- Self-verifying theories (← links)
- Disjunction and existence properties (← links)
- Predicate variable (← links)
- Method of analytic tableaux (← links)
- Ehrenfeucht–Fraïssé game (← links)
- Occurs check (← links)
- Real closed field (← links)
- Formally real field (← links)
- Categorical theory (← links)
- Kripke–Platek set theory (← links)
- Computable function (← links)
- NL (complexity) (← links)
- Least fixed point (← links)
- Descriptive complexity theory (← links)
- Asymmetric relation (← links)
- CARINE (← links)
- Proof assistant (← links)
- Elementary class (← links)
- Skolem's paradox (← links)
- Decider (Turing machine) (← links)
- Pregeometry (model theory) (← links)
- Law of identity (← links)
- Predicate transformer semantics (← links)
- Newton da Costa (← links)
- Propositional variable (← links)
- Free logic (← links)
- Mereotopology (← links)
- Finite model theory (← links)
- Greek letters used in mathematics, science, and engineering (← links)
- Graph isomorphism problem (← links)
- Independence-friendly logic (← links)
- Ground expression (← links)
- Craig interpolation (← links)
- Sentence (mathematical logic) (← links)
- Ordinal arithmetic (← links)
- Quantifier elimination (← links)
- Counting quantification (← links)
- Institution (computer science) (← links)
- Empty domain (← links)
- Evert Willem Beth (← links)
- Tarski's axioms (← links)
- Situation calculus (← links)
- Arithmetical set (← links)
- Numbering (computability theory) (← links)
- Categorical proposition (← links)
- List of logic symbols (← links)
- Herbrand's theorem (← links)
- Robinson arithmetic (← links)
- Heyting arithmetic (← links)
- Two-element Boolean algebra (← links)