Login / Signup
Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic.
Ildikó Sain
Published in:
Algebraic Logic and Universal Algebra in Computer Science (1988)
Keyphrases
</>
algebraic structure
logic programming
computational properties
case study
desirable properties
computer algebra
data sets
genetic algorithm
knowledge base
multiscale
knowledge representation
formal language
predicate logic
delay insensitive