Derivation operators on generalized algebras of BCK logic.
Lavinia Corina CiunguPublished in: Fuzzy Sets Syst. (2021)
Keyphrases
- distributive lattices
- boolean algebra
- multi valued
- totally ordered
- modal operators
- t norm
- set theory
- classical logic
- relation algebra
- mathematical theory
- automated reasoning
- general theory
- predicate logic
- morphological operators
- modal logic
- logical framework
- theorem prover
- databases
- spatial reasoning
- truth values
- epistemic logic
- belief functions
- proof theory
- building blocks
- data model