The Attack as Intuitionistic Negation.

Dov M. Gabbay Michael Gabbay

Published in: CoRR (2015)

Keyphrases

linear logic
logic programming
fuzzy set theory
countermeasures
logic programs
interval valued
theorem prover
fuzzy numbers
secret key
attack detection
classical logic
malicious attacks
fuzzy information
predicate logic
logical framework
key exchange protocol
compositional semantics