Extensions of countable infinitary logic which preserve most of its nice properties.

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

Keyphrases

multiscale
formal language
efficient implementation
desirable properties
genetic algorithm
information systems
logic programming
inference rules
multi valued
computational properties
algebraic structure
proof theory
knowledge representation formalisms