Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.

George Voutsadakis

Published in: Appl. Categorical Struct. (2006)

Keyphrases

partially ordered
partial order
mathematical theory
digital circuits
high level
distributed systems
complex systems
asynchronous circuits
algebraic structure
intelligent systems
retrieval systems
possibilistic logic
interval valued
rewrite systems