Structural and universal completeness in algebra and logic.

Paolo Aglianò Sara Ugolini

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

linear logic
logical framework
logic programming
structural information
multi valued
knowledge base
structural models
classical logic
structural features
data quality
query language
neural network
object oriented databases
algebraic structure
boolean algebra
algebraic geometry
sound and complete axiomatization