Hilbert-style axiomatization of first-degree entailment and a family of its extensions.

Yaroslav Shramko

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

Keyphrases

logic programming
special case
np complete
decision making
default logic
machine learning
natural language processing
efficient implementation
probabilistic logic
recognizing textual entailment
clifford algebra