User:Nortexoid

I enjoy cheese and symbols.

Interests

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

Created articles

 * 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