The Beth Property in Algebraic Logic.

Willem J. Blok Eva Hoogland

Published in: Stud Logica (2006)

Keyphrases

classical logic
computer algebra
logic programming
algebraic structure
multi valued
logical framework
machine learning
desirable properties
search engine
modal logic
probability theory
epistemic logic
asynchronous circuits
proof theory
algebraic expressions