Polyhedral Completeness of Intermediate Logics: the nerve criterion.

Sam Adam-Day Nick Bezhanishvili David Gabelaia Vincenzo Marra

Published in: J. Symb. Log. (2024)

Keyphrases

feature selection
expressive power
modal logic
neural network
inference rules
convex sets