Derivations on algebras of a non-commutative generalization of the Łukasiewicz logic.
Jirí RachunekDana SalounováPublished in: Fuzzy Sets Syst. (2018)
Keyphrases
- boolean algebra
- modal logic
- multi valued
- data sets
- inference rules
- relation algebra
- predicate logic
- computational properties
- classical logic
- distributive lattices
- asynchronous circuits
- logical framework
- logic programming
- website
- database
- defeasible logic
- automated reasoning
- epistemic logic
- proof theory
- special case
- delay insensitive
- knowledge base
- sound and complete axiomatization