Hereditarily Structurally Complete Intermediate Logics: Citkin's Theorem Via Duality.

Nick Bezhanishvili Tommaso Moraschini

Published in: Stud Logica (2023)

Keyphrases

linearly ordered
data sets
neural network
information retrieval
linear programming
expressive power
modal logic
inference rules
propositional calculus
multiscale