Corpus ID: 17304354

The Kleene-Rosser Paradox, The Liar's Paradox & A Fuzzy Logic Programming Paradox Imply SAT is (NO

@inproceedings{Kamouna2008TheKP,
  title={The Kleene-Rosser Paradox, The Liar's Paradox & A Fuzzy Logic Programming Paradox Imply SAT is (NO},
  author={Rafee Ebrahim Kamouna},
  year={2008}
}
  • Rafee Ebrahim Kamouna
  • Published 2008
  • Computer Science, Mathematics
  • After examining the {\bf P} versus {\bf NP} problem against the Kleene-Rosser paradox of the $\lambda$-calculus [94], it was found that it represents a counter-example to NP-completeness. We prove that it contradicts the proof of Cook's theorem. A logical formalization of the liar's paradox leads to the same result. This formalization of the liar's paradox into a computable form is a 2-valued instance of a fuzzy logic programming paradox discovered in the system of [90]. Three proofs that show… CONTINUE READING

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 181 REFERENCES
    The inconsistency of certain formal logics
    • 176
    On Product Logic with Truth-constants
    • 49
    • PDF
    On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic
    • 121
    Two Fuzzy Logic Programming Paradoxes Imply Continuum Hypothesis
    • 2
    • PDF
    Towards an automated deduction system for first‐order possibilistic logic programming with fuzzy constants
    • 24
    Residuated fuzzy logics with an involutive negation
    • 192
    • PDF