Reduced axioms for the propositional logics induced by basic algebras.
Ivan ChajdaMiroslav KolaríkPublished in: Soft Comput. (2018)
Keyphrases
- first order logic
- expressive power
- propositional logic
- inference rules
- horn clauses
- classical first order logic
- default logic
- valued logic
- modal logic
- relation algebra
- nonmonotonic logics
- knowledge base
- classical logic
- linearly ordered
- coalition logic
- theorem proving
- knowledge representation
- set theory
- predicate calculus
- inductive logic programming
- default reasoning
- logic programming
- logical theories
- distributive lattices