Login / Signup
A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis.
Xuefeng Wen
Published in:
Stud Logica (2007)
Keyphrases
</>
propositional logic
belief revision
information retrieval
database systems
np complete
orders of magnitude
sat solvers