The role of the Omitting Types Theorem in infinitary logic.

Published in: Arch. Math. Log. (1981)

Keyphrases

data sets
logic programming
intuitionistic logic
decision making
modal logic
neural network
knowledge representation
deontic logic
asynchronous circuits