A Pretabular Classical Relevance Logic.

Lisa Galminas John G. Mersch

Published in: Stud Logica (2012)

Keyphrases

information retrieval
multi valued
probability theory
classical logic
quantum computation
modal logic
asynchronous circuits
horn logic
relative importance
database
logic programming
classical first order logic
finite model theory