On the role of logical connectives for primality and functional completeness of algebras of logics.

Ivan Chajda Radek Halas Ivo G. Rosenberg

Published in: Inf. Sci. (2010)

Keyphrases

truth values
inference rules
expressive power
multi valued
classical logic
logical framework
data quality
modal logic
fuzzy logic
theorem prover
linear logic
valued logic
logical reasoning
logical operations