Login / Signup
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas.
Grigori Mints
Published in:
Correct Reasoning (2012)
Keyphrases
</>
propositional formulas
propositional logic
normal form
propositional satisfiability
machine translation
theorem prover
sat problem
lower bound
relational databases
classical logic
cnf formula
evolutionary algorithm
database design
functional dependencies
belief revision