Paraconsistent Double Negations as Classical and Intuitionistic Negations.

Norihiro Kamide

Published in: Stud Logica (2017)

Keyphrases

fuzzy sets
fuzzy set theory
interval valued
fuzzy information
logic programming
valued logic
fuzzy numbers
rough sets
theorem prover
real time
inference rules
genetic algorithm
classical logic
multiscale
image sequences
database systems
high level
computer vision
information retrieval
data mining
neural network