Completeness of intermediate logics with doubly negated axioms.

Mohammad Ardeshir S. Mojtaba Mojtahedi

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

Keyphrases

expressive power
first order logic
valued logic
order sorted
knowledge base
modal logic
inference rules
complete axiomatization
propositional calculus
conditional logic
set theory
inheritance reasoning
epistemic logic
nonmonotonic logics
databases
computational properties
case study
data mining