The logic induced by effect algebras.

Ivan Chajda Radomír Halas Helmut Länger

Published in: Soft Comput. (2020)

Keyphrases

logic programming
classical logic
asynchronous circuits
spatial reasoning
automated reasoning
multi valued
logical framework
defeasible logic
set theory
relation algebra