The Relevant Logic E and Some Close Neighbours: A Reinterpretation.

Edwin D. Mares Shawn Standefer

Published in: FLAP (2017)

Keyphrases

logic programming
proof theory
database
data sets
higher level
modal logic
classical logic
search engine
multiscale
case based reasoning
first order logic
multi valued
computational properties