Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic.

Victoria Noquez

Published in: Bull. Symb. Log. (2019)

Keyphrases

intuitionistic logic
computational properties
set theory
classical logic
predicate logic
logic programming
partial order
qualitative temporal reasoning
database
connected regions
formal theory
continuous functions
active rules
belief change
modal logic
first order logic
np complete
knowledge base
information systems