Elimination of Quantifiers on Łukasiewicz Logics.

Néstor G. Martínez

Published in: Math. Log. Q. (1989)

Keyphrases

expressive power
inference rules
first order logic
modal logic
elimination algorithm
propositional dynamic logic
temporal logic
proof theory
epistemic logic
conditional logic
classical logic
expert systems
natural language
data mining
databases
search algorithm
case study
information retrieval
proof procedures