Constructing the propositional truncation using non-recursive HITs.

Floris van Doorn

Published in: CPP (2016)

Keyphrases

first order logic
propositional logic
ranking algorithm
database
artificial intelligence
database systems
knowledge representation
multi valued
probabilistic logic
prime implicates