Login / Signup
On Amalgamation in Algebras of Logic.
Tarek Sayed Ahmed
Published in:
Stud Logica (2005)
Keyphrases
</>
relation algebra
boolean algebra
automated reasoning
database
topological spaces
logic programming
distributive lattices
multi valued
classical logic
predicate logic
epistemic logic
asynchronous circuits
sound and complete axiomatization
proof theory
nonmonotonic logics
probability theory
information retrieval