Satisfiability is False Intuitionistically: A Question from Dana Scott.

Charles McCarty

Published in: Stud Logica (2020)

Keyphrases

phase transition
np complete
satisfiability problem
databases
terminological reasoning
artificial intelligence
objective function
computational complexity
data sets
information retrieval
special case
description logics
propositional logic