Residuated Basic Logic.

Zhe Lin Minghui Ma

Published in: Axioms (2023)

Keyphrases

modal logic
logic programming
proof theory
predicate logic
search algorithm
multi valued
sound and complete axiomatization
linear temporal logic
logical framework
data sets
expert systems
automated reasoning
natural language
similarity measure
database systems
asynchronous circuits
artificial intelligence
database