Ramsey Theorem as an Intuitionistic Property of Well Founded Relations.

Stefano Berardi Silvia Steila

Published in: RTA-TLCA (2014)

Keyphrases

fuzzy set theory
semantic relations
fuzzy relations
interval valued
linear logic
learning algorithm
co occurrence
temporal relations
data sets
case study
control system
real valued
classical logic
fuzzy information
natural deduction