# User:Nortexoid

Jump to navigation
Jump to search

I enjoy cheese and symbols.

## Interests[edit]

- logic (philosophical, mathematical, philosophy of)
- philosophy and foundations of mathematics
- proof and model theory
- philosophy of language
- ontology (of mathematics and modality)

## Created articles[edit]

- Branching quantifier
- Predicate abstraction
- Empty domain
- Truth-value semantics
- Computation problem
- Free logic
- Proof procedure
- Trakhtenbrot's theorem
- Conditioned disjunction
- Lindenbaum's lemma
- Lindstrom's theorem
- Cyclic negation
- Supervaluationism
- Effectively calculable
- Craig's theorem
- Conditional quantifier
- Beth definability
- Classical modal logic
- Regular modal logic
- Finite model property
- Window operator