Non-Boolean classical relevant logics I.

Tore Fjetland Øgaard

Published in: Synth. (2021)

Keyphrases

expressive power
information retrieval
boolean functions
closely related
artificial intelligence
knowledge base
bayesian networks
digital libraries
logic programs
model checking
modal logic
multi valued
proof theory
boolean logic