On the logic of continuous algebras.

Jirí Adámek Alan H. Mekler Evelyn Nelson Jan Reiterman

Published in: Notre Dame J. Formal Log. (1988)

Keyphrases

relation algebra
logic programming
modal logic
multi valued
predicate logic
classical logic
social networks
computational properties
piecewise linear
rough sets
digital circuits
expert systems
epistemic logic
asynchronous circuits
proof theory
topological spaces
data sets
clifford algebra