Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic.
Joan GispertPublished in: Fuzzy Sets Syst. (2017)
Keyphrases
- logical rules
- logic programming
- association rules
- order sorted
- cut elimination
- set theory
- rule sets
- classical logic
- active rules
- decision rules
- intuitionistic logic
- rule engine
- data mining
- axiomatic characterization
- association rule mining
- natural deduction
- background knowledge
- default theories
- knowledge representation formalisms
- argumentation semantics
- logical framework
- rough sets
- possibility theory
- horn clauses
- derivation rules
- closed world assumptions
- modal logic