Some new axiomatic extensions of residuated logics.

Albert Kadji Marcel Tonga

Published in: J. Intell. Fuzzy Syst. (2016)

Keyphrases

order sorted
default logic
expressive power
knowledge representation formalisms
modal logic
efficient implementation
proof theory
default theories
predicate logic
axiomatic characterization
artificial intelligence
computational properties
set theory