On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic.

Robert Goldblatt

Published in: J. Symb. Log. (1985)

Keyphrases

intuitionistic logic
artificial intelligence
multi valued
linear logic
databases
information systems
website
database systems
query language
logic programming
predicate logic