Login / Signup
The Continuum and First-Order Intuitionistic Logic.
Dirk van Dalen
Published in:
J. Symb. Log. (1992)
Keyphrases
</>
intuitionistic logic
classical logic
linear logic
proof theoretic
natural deduction
first order logic
model theoretic
normal form
artificial intelligence
expert systems
relational databases
probability distribution
fuzzy sets
horn clauses