Stability Theory for Topological Logic, with Applications to Topological Modules.

Thomas G. Kucera

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

Keyphrases

topological properties
logic programming
formal theory
set theory
topological features
proof theory
stability analysis
logical framework
computational properties
modal logic
information systems
commonsense reasoning
geometric objects
computer algebra
deductive reasoning
topological spaces
propositional theories