Formalised Inductive Reasoning in the Logic of Bunched Implications.

James Brotherston

Published in: SAS (2007)

Keyphrases

inductive reasoning
logic programming
modal logic
automated reasoning
classical logic
epistemic logic
genetic algorithm
multi valued
cognitive functions
databases
data structure
data analysis
computational properties
predicate logic
sound and complete axiomatization