When Lawvere Meets Peirce: An Equational Presentation of Boolean Hyperdoctrines.

Filippo Bonchi Alessandro Di Giorgio Davide Trotta

Published in: MFCS (2024)

Keyphrases

theorem proving
real valued
neural network
boolean functions
theorem prover
multimedia
extended abstract
information retrieval
boolean queries
equational theories
database
data sets
databases
machine learning
case study