The persistence principle over weak interpretability logic.

Sohei Iwata Taishi Kurahashi Yuya Okawa

Published in: Math. Log. Q. (2024)

Keyphrases

classical logic
logic programming
information bottleneck
prediction accuracy
logical framework
genetic algorithm
artificial intelligence
information theoretic
modal logic
rule base
computational properties
digital circuits