The Suszko operator relative to truth-equational logics.

Hugo Albuquerque

Published in: Math. Log. Q. (2021)

Keyphrases

theorem proving
truth values
inference rules
expressive power
modal logic
database
valued logic
theorem prover
computational properties
neural network
knowledge base
expert systems
query processing
aggregation operators
nonmonotonic logics
epistemic logic