Login / Signup
Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-One and Truth-Table Reducibility in Coq.
Yannick Forster
Felix Jahn
Published in:
CSL (2023)
Keyphrases
</>
truth table
defeasible logic