Home
•
Search
•
Translate
From Wikipedia, the free encyclopedia
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
Top Of Page
Home
•
Search
•
Translate
©
CSE