Pure Logic of Many-Many Ground.

Jon Erling Litland

Published in: J. Philos. Log. (2016)

Keyphrases

multi valued
logic programming
modal logic
proof theory
artificial intelligence
information systems
predicate logic
probabilistic logic
classical logic
computational properties
deductive reasoning
database
truth values
database systems
case study
genetic algorithm
machine learning