Minimal Consequence in Sentential Logic.

Mary-Angela Papalaskari Scott Weinstein

Published in: J. Log. Program. (1990)

Keyphrases

logic programming
classical logic
computational properties
search engine
artificial neural networks
multi valued
digital circuits
predicate logic
asynchronous circuits
information retrieval
genetic algorithm
expressive power
modal logic
epistemic logic
dynamic logic
proof theory