A note on Choice Principles in second-order Logic.

Benjamin Siskind Paolo Mancosu Stewart Shapiro

Published in: Rev. Symb. Log. (2023)

Keyphrases

higher order
logic programming
modal logic
classical logic
computational properties
predicate logic
database
data sets
machine learning
high order
design principles
automated reasoning
multi valued
probabilistic logic
abductive reasoning
natural deduction