When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines.

Filippo Bonchi Alessandro Di Giorgio Davide Trotta

Published in: CoRR (2024)

Keyphrases

real valued
theorem proving
theorem prover
multimedia
databases
neural network
boolean functions
data sets
clustering algorithm
database systems
extended abstract
three dimensional
search algorithm
boolean queries
equational theories